Skip to content

add requireTermination to correctness properties

Lena Becker requested to merge require-termination into master

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.

Merge request reports