Skip to content

replace unnecessary strings with ints

Lena Becker requested to merge remove-unnecessary-strings into master

Replaced all unnecessary occurences of string with int in prints and variables in order to be able to use those tests in the Pseuco-Promela-Compiler.

Merge request reports