# Seeds for failure cases proptest has generated in the past. It is
# automatically read and these particular cases re-run before any
# novel cases are generated.
#
# It is recommended to check this file in to source control so that
# everyone who runs the test benefits from these saved cases.
cc 8048f1531b569992fd07687c2ffe0cd64bb4de02dc35f944cfc70c94f61ef833 # shrinks to expr = Unary { op: Minus, operand: FunctionApplication { function: BoolType, arguments: [True] } }
cc 944312152d3837adb321903d9ab6df92af36019240d7461aeff15e60a3281a98 # shrinks to pred = Comparison { op: Equal, left: True, right: Integer(0) }
cc e3d5aeb3b1c5aa9b75e980b79b7ca46e117f97a4b0ce0929b9335e68329d07fd # shrinks to (action, vars) = (BecomesIn { variables: ["aa"], set: RelationalImage { relation: Binary { op: Add, left: Integer(0), right: Integer(0) }, set: Integer(0) } }, ["aa"])
cc 710a5c5e88e4c8794f1d58e68c97970483fdbb6eded2b13b3e700021aa3b4a14 # shrinks to expr = RelationalImage { relation: Binary { op: Add, left: Integer(0), right: Integer(0) }, set: Integer(0) }
cc 18598949a146130f73a241225cd0d12d7dbf1f09226ec6811e9a4ced27300115 # shrinks to (action, vars) = (BecomesSuchThat { variables: ["aa"], predicate: Comparison { op: Equal, left: True, right: Integer(0) } }, ["aa"])
cc 4f88af534e07672d645b86c5882ea6231e54fabe6e0672c88664487823cc80d9 # shrinks to pred = Logical { op: And, left: True, right: Logical { op: And, left: True, right: Comparison { op: Equal, left: True, right: Integer(0) } } }
cc 57178980488558e42d996fef8e6d4f4fed5a95521701f8c624e84f914f593a36 # shrinks to pred = Logical { op: And, left: Quantified { quantifier: ForAll, identifiers: ["aa"], predicate: True }, right: True }
cc 0d442648b5621a521fc4636060dbd7a8354455987ed45a39f50dc868babb0615 # shrinks to pred = Comparison { op: Subset, left: Integer(0), right: Integer(0) }
cc 5b9ff0cbc4c4f1dcff4a006f0172d5041c3f03f2a3e8547c94856f1b74f88f74 # shrinks to (action, vars) = (BecomesSuchThat { variables: ["aa"], predicate: Comparison { op: Subset, left: Integer(0), right: Integer(0) } }, ["aa"])
cc c58a825b9dd79e3e45641d6f0b9b4893d9a7c08d3c30eab79469ede4b18bb6f6 # shrinks to pred = Logical { op: And, left: True, right: Quantified { quantifier: ForAll, identifiers: ["aa"], predicate: True } }
cc 3336ee4424fe23e3d4da534aa30c09c2bfbbd1cfa53fe6e98b42875de2a6ae0d # shrinks to expr = Binary { op: Add, left: Integer(0), right: Lambda { parameters: ["p1"], predicate: True, expression: Integer(0) } }
cc 0d1002b69ef3143bf42a1130ef7dcbd08e64651dc5adb959ac392290529c89d7 # shrinks to pred = Comparison { op: Equal, left: Integer(0), right: Binary { op: Add, left: Integer(0), right: Lambda { parameters: ["p1"], predicate: True, expression: Integer(0) } } }
cc c23efe05cc4ec6d9db70f38f532f3b3af900656c614a0b6d2676a5a5768802ca # shrinks to component = Context(Context { name: "PropCtx", extends: [], sets: [], constants: [], axioms: [LabeledPredicate { label: None, is_theorem: false, predicate: Comparison { op: In, left: Naturals, right: Integer(0) }, span: None }], theorems: [], span: None, name_span: None })
cc 17129b88c07be7ab837f7e3a95fb27cc05af6328990cc73a58d4617a1e490c60 # shrinks to (action, vars) = (BecomesIn { variables: ["aa", "aa"], set: Binary { op: Add, left: Lambda { parameters: ["p1"], predicate: True, expression: Integer(0) }, right: Integer(0) } }, ["aa", "aa"])
cc bf9dde8eb8dc7432ef99188b5066affbf1cf068184c281f12ed5e13b04cbac35 # shrinks to (action, vars) = (Assignment { variables: ["aa", "aa"], expressions: [Binary { op: DomainRestriction, left: Lambda { parameters: ["p1"], predicate: True, expression: Integer(0) }, right: Integer(0) }, Integer(0)] }, ["aa", "aa"])
cc b1ccc9e47758973fcaab3676c011aee7569eeca18a24729a6c570279209fa284 # shrinks to component = Machine(Machine { name: "PropMch", refines: [], sees: [], variables: [], invariants: [], theorems: [], variant: None, initialisation: None, events: [Event { name: "evt1", status: None, refines: [], parameters: [], guards: [], with: [], witnesses: [], actions: [LabeledAction { label: Some("axm1"), action: BecomesSuchThat { variables: ["aa", "aa"], predicate: Comparison { op: Equal, left: Integer(0), right: Integer(0) } }, span: None }, LabeledAction { label: Some("axm1"), action: Assignment { variables: ["aa", "aa"], expressions: [FunctionApplication { function: Identifier("dd"), arguments: [EmptySet, Naturals] }, RelationalImage { relation: StringLiteral("8V_t"), set: EmptySet }] }, span: None }], span: None, name_span: None }], span: None, name_span: None })
cc 105d262ec4d98d900f122cdbf0317a8bb4c738d96251ab918bffa184303229d2 # shrinks to component = Machine(Machine { name: "PropMch", refines: [], sees: [], variables: [], invariants: [], theorems: [], variant: None, initialisation: Some(InitialisationEvent { actions: [LabeledAction { label: Some("axm1"), action: BecomesSuchThat { variables: ["aa"], predicate: Comparison { op: Equal, left: BuiltinApplication { function: Closure, arguments: [SetComprehension { identifiers: ["p1"], predicate: Comparison { op: Equal, left: Integer(0), right: Integer(260) }, expression: Some(EmptySet) }] }, right: FunctionApplication { function: Identifier("xx"), arguments: [Integers, Lambda { parameters: ["p3"], predicate: Comparison { op: Subset, left: StringLiteral("WvD_X"), right: Bool(False) }, expression: BoolType }, BoolType] } } }, span: None }, LabeledAction { label: Some("act2"), action: BecomesSuchThat { variables: ["dd"], predicate: True }, span: None }] }), events: [], span: None, name_span: None })
cc 23c9f8c4825bc43818fa961e29610f8a6856951d25833ad0debaef9110fce80c # shrinks to pred = Predicate { kind: Logical { op: Equivalent, left: Predicate { kind: True, span: None }, right: Predicate { kind: Logical { op: Implies, left: Predicate { kind: True, span: None }, right: Predicate { kind: True, span: None } }, span: None } }, span: None }
