refine Alloy false

fmidue · Nov 4, 2024 · fb73a1f · fb73a1f
1 parent 096caff
commit fb73a1f
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/src/Modelling/CdOd/CD2Alloy/Transform.hs b/src/Modelling/CdOd/CD2Alloy/Transform.hs
@@ -273,7 +273,7 @@ Generates Alloy code which is a contradiction that can never be satisfied,
 i.e. essentially resolves to false.
 -}
 false :: String
-false = "one Object and no Object // i.e. false"
+false = "some none // i.e. false"
 
 {-|
 Given a possible counter formula and two limiters this function generates

diff --git a/test/unit/Modelling/CdOd/CD2Alloy/Transform/transformResult0001.als b/test/unit/Modelling/CdOd/CD2Alloy/Transform/transformResult0001.als
@@ -16,18 +16,18 @@ abstract sig Object {
 }
 
 fact LimitIsolatedObjects {
-  false
+  some none // i.e. false
 }
 
 
 fact SizeConstraints {
   #Object >= 2
-  false
+  some none // i.e. false
 
 }
 
 fact SomeSelfLoops {
-  false
+  some none // i.e. false
 }