Contents

{{!

   Activate correcness predicates

   For example:

   INVARIANT PetStore_ValidatePets

}}

Version data entries

1 entries across 1 versions & 1 rubygems

Version	Path
tla-sbuilder-0.1.0	src-extend/extend_app/correctness.cfg