models.examples.toys.trivial.als Maven / Gradle / Ivy
//a trivial model whose command has no solution
module trivial
sig S {}
fact { 1=2 }
run {some S} expect 0
© 2015 - 2025 Weber Informatics LLC | Privacy Policy
//a trivial model whose command has no solution
module trivial
sig S {}
fact { 1=2 }
run {some S} expect 0