pseuco-tests merge requestshttps://dgit.cs.uni-saarland.de/pseuco/pseuco-tests/-/merge_requests2020-06-03T13:10:43+02:00https://dgit.cs.uni-saarland.de/pseuco/pseuco-tests/-/merge_requests/2add requireTermination to correctness properties2020-06-03T13:10:43+02:00Lena Beckeradd requireTermination to correctness propertiesAdded `boolean` value `requireTermination` to correctness properties of every test which is `true` if every agent in the respective pseuCo-program is terminated in the end.Added `boolean` value `requireTermination` to correctness properties of every test which is `true` if every agent in the respective pseuCo-program is terminated in the end.Felix FreibergerFelix Freibergerhttps://dgit.cs.uni-saarland.de/pseuco/pseuco-tests/-/merge_requests/1replace unnecessary strings with ints2020-05-16T16:32:09+02:00Lena Beckerreplace unnecessary strings with intsReplaced 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.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.Felix FreibergerFelix Freiberger