| arr | Copilot.Verifier.Examples.ShouldPass.Array |
| avgTemp | Copilot.Verifier.Examples.ShouldPass.Heater |
| Battery | |
| 1 (Type/Class) | Copilot.Verifier.Examples.ShouldPass.Structs |
| 2 (Data Constructor) | Copilot.Verifier.Examples.ShouldPass.Structs |
| 3 (Type/Class) | Copilot.Verifier.Examples.ShouldPass.UpdateStruct |
| 4 (Data Constructor) | Copilot.Verifier.Examples.ShouldPass.UpdateStruct |
| bytecounter | Copilot.Verifier.Examples.ShouldPass.Counter |
| bytecounter2 | Copilot.Verifier.Examples.ShouldPass.Counter |
| clkStream | Copilot.Verifier.Examples.ShouldPass.Clock |
| clkStream' | Copilot.Verifier.Examples.ShouldPass.Clock |
| clock | Copilot.Verifier.Examples.ShouldPass.FPNegation |
| counter | Copilot.Verifier.Examples.ShouldPass.Counter |
| ctemp | Copilot.Verifier.Examples.ShouldPass.Heater |
| dcpa | Copilot.Verifier.Examples.ShouldPass.WCV |
| delta | Copilot.Verifier.Examples.ShouldPass.WCV |
| det | Copilot.Verifier.Examples.ShouldPass.WCV |
| dthr | Copilot.Verifier.Examples.ShouldPass.WCV |
| engineMonitor | Copilot.Verifier.Examples.ShouldPass.Engine |
| field | Copilot.Verifier.Examples.ShouldPass.ArrayOfStructs |
| flag | |
| 1 (Function) | Copilot.Verifier.Examples.ShouldPass.Structs |
| 2 (Function) | Copilot.Verifier.Examples.ShouldPass.UpdateStruct |
| ftp | Copilot.Verifier.Examples.ShouldPass.FPNegation |
| horizontalWCV | Copilot.Verifier.Examples.ShouldPass.WCV |
| input | Copilot.Verifier.Examples.ShouldPass.FPNegation |
| lastPrime | Copilot.Verifier.Examples.ShouldPass.Arith |
| mkSpecFor | Copilot.Verifier.Examples.ShouldPass.FPOps |
| multRingSpec | Copilot.Verifier.Examples.ShouldPass.Arith |
| neg | Copilot.Verifier.Examples.ShouldPass.WCV |
| norm | Copilot.Verifier.Examples.ShouldPass.WCV |
| notPreviousNot | Copilot.Verifier.Examples.ShouldPass.FPNegation |
| numVolts | |
| 1 (Function) | Copilot.Verifier.Examples.ShouldPass.Structs |
| 2 (Function) | Copilot.Verifier.Examples.ShouldPass.UpdateStruct |
| other | |
| 1 (Function) | Copilot.Verifier.Examples.ShouldPass.Structs |
| 2 (Function) | Copilot.Verifier.Examples.ShouldPass.UpdateStruct |
| p | Copilot.Verifier.Examples.ShouldPass.Clock |
| pre | Copilot.Verifier.Examples.ShouldPass.FPNegation |
| propMyProperty | Copilot.Verifier.Examples.ShouldPass.FPNegation |
| resetcounter | Copilot.Verifier.Examples.ShouldPass.Counter |
| S | |
| 1 (Type/Class) | Copilot.Verifier.Examples.ShouldPass.ArrayOfStructs |
| 2 (Data Constructor) | Copilot.Verifier.Examples.ShouldPass.ArrayOfStructs |
| shouldFailExamples | Copilot.Verifier.Examples |
| shouldPassExamples | Copilot.Verifier.Examples |
| spec | |
| 1 (Function) | Copilot.Verifier.Examples.ShouldFail.Partial.AbsIntMin |
| 2 (Function) | Copilot.Verifier.Examples.ShouldFail.Partial.AddSignedWrap |
| 3 (Function) | Copilot.Verifier.Examples.ShouldFail.Partial.DivByZero |
| 4 (Function) | Copilot.Verifier.Examples.ShouldFail.Partial.IndexOutOfBounds |
| 5 (Function) | Copilot.Verifier.Examples.ShouldFail.Partial.ModByZero |
| 6 (Function) | Copilot.Verifier.Examples.ShouldFail.Partial.MulSignedWrap |
| 7 (Function) | Copilot.Verifier.Examples.ShouldFail.Partial.ShiftLTooLarge |
| 8 (Function) | Copilot.Verifier.Examples.ShouldFail.Partial.ShiftRTooLarge |
| 9 (Function) | Copilot.Verifier.Examples.ShouldFail.Partial.SubSignedWrap |
| 10 (Function) | Copilot.Verifier.Examples.ShouldPass.Array |
| 11 (Function) | Copilot.Verifier.Examples.ShouldPass.ArrayGen |
| 12 (Function) | Copilot.Verifier.Examples.ShouldPass.ArrayOfStructs |
| 13 (Function) | Copilot.Verifier.Examples.ShouldPass.ArrayTriggerArgument |
| 14 (Function) | Copilot.Verifier.Examples.ShouldPass.Clock |
| 15 (Function) | Copilot.Verifier.Examples.ShouldPass.Counter |
| 16 (Function) | Copilot.Verifier.Examples.ShouldPass.FPNegation |
| 17 (Function) | Copilot.Verifier.Examples.ShouldPass.FPOps |
| 18 (Function) | Copilot.Verifier.Examples.ShouldPass.Heater |
| 19 (Function) | Copilot.Verifier.Examples.ShouldPass.IntOps |
| 20 (Function) | Copilot.Verifier.Examples.ShouldPass.Structs |
| 21 (Function) | Copilot.Verifier.Examples.ShouldPass.UpdateArray |
| 22 (Function) | Copilot.Verifier.Examples.ShouldPass.UpdateStruct |
| 23 (Function) | Copilot.Verifier.Examples.ShouldPass.WCV |
| sq | Copilot.Verifier.Examples.ShouldPass.WCV |
| tau | Copilot.Verifier.Examples.ShouldPass.WCV |
| taumod | Copilot.Verifier.Examples.ShouldPass.WCV |
| tcoa | Copilot.Verifier.Examples.ShouldPass.WCV |
| tcoathr | Copilot.Verifier.Examples.ShouldPass.WCV |
| tcpa | Copilot.Verifier.Examples.ShouldPass.WCV |
| temp | |
| 1 (Function) | Copilot.Verifier.Examples.ShouldPass.Heater |
| 2 (Function) | Copilot.Verifier.Examples.ShouldPass.Structs |
| 3 (Function) | Copilot.Verifier.Examples.ShouldPass.UpdateStruct |
| tep | Copilot.Verifier.Examples.ShouldPass.WCV |
| testOp1 | |
| 1 (Function) | Copilot.Verifier.Examples.ShouldPass.FPOps |
| 2 (Function) | Copilot.Verifier.Examples.ShouldPass.IntOps |
| testOp2 | |
| 1 (Function) | Copilot.Verifier.Examples.ShouldPass.FPOps |
| 2 (Function) | Copilot.Verifier.Examples.ShouldPass.IntOps |
| theta | Copilot.Verifier.Examples.ShouldPass.WCV |
| tpre | Copilot.Verifier.Examples.ShouldPass.FPNegation |
| triggerOp1 | |
| 1 (Function) | Copilot.Verifier.Examples.ShouldPass.FPOps |
| 2 (Function) | Copilot.Verifier.Examples.ShouldPass.IntOps |
| triggerOp2 | |
| 1 (Function) | Copilot.Verifier.Examples.ShouldPass.FPOps |
| 2 (Function) | Copilot.Verifier.Examples.ShouldPass.IntOps |
| tthr | Copilot.Verifier.Examples.ShouldPass.WCV |
| Vect2 | Copilot.Verifier.Examples.ShouldPass.WCV |
| verifySpec | |
| 1 (Function) | Copilot.Verifier.Examples.ShouldFail.Partial.AbsIntMin |
| 2 (Function) | Copilot.Verifier.Examples.ShouldFail.Partial.AddSignedWrap |
| 3 (Function) | Copilot.Verifier.Examples.ShouldFail.Partial.DivByZero |
| 4 (Function) | Copilot.Verifier.Examples.ShouldFail.Partial.IndexOutOfBounds |
| 5 (Function) | Copilot.Verifier.Examples.ShouldFail.Partial.ModByZero |
| 6 (Function) | Copilot.Verifier.Examples.ShouldFail.Partial.MulSignedWrap |
| 7 (Function) | Copilot.Verifier.Examples.ShouldFail.Partial.ShiftLTooLarge |
| 8 (Function) | Copilot.Verifier.Examples.ShouldFail.Partial.ShiftRTooLarge |
| 9 (Function) | Copilot.Verifier.Examples.ShouldFail.Partial.SubSignedWrap |
| 10 (Function) | Copilot.Verifier.Examples.ShouldPass.Arith |
| 11 (Function) | Copilot.Verifier.Examples.ShouldPass.Array |
| 12 (Function) | Copilot.Verifier.Examples.ShouldPass.ArrayGen |
| 13 (Function) | Copilot.Verifier.Examples.ShouldPass.ArrayOfStructs |
| 14 (Function) | Copilot.Verifier.Examples.ShouldPass.ArrayTriggerArgument |
| 15 (Function) | Copilot.Verifier.Examples.ShouldPass.Clock |
| 16 (Function) | Copilot.Verifier.Examples.ShouldPass.Counter |
| 17 (Function) | Copilot.Verifier.Examples.ShouldPass.Engine |
| 18 (Function) | Copilot.Verifier.Examples.ShouldPass.FPNegation |
| 19 (Function) | Copilot.Verifier.Examples.ShouldPass.FPOps |
| 20 (Function) | Copilot.Verifier.Examples.ShouldPass.Heater |
| 21 (Function) | Copilot.Verifier.Examples.ShouldPass.IntOps |
| 22 (Function) | Copilot.Verifier.Examples.ShouldPass.Partial.AbsIntMin |
| 23 (Function) | Copilot.Verifier.Examples.ShouldPass.Partial.AddSignedWrap |
| 24 (Function) | Copilot.Verifier.Examples.ShouldPass.Partial.DivByZero |
| 25 (Function) | Copilot.Verifier.Examples.ShouldPass.Partial.IndexOutOfBounds |
| 26 (Function) | Copilot.Verifier.Examples.ShouldPass.Partial.ModByZero |
| 27 (Function) | Copilot.Verifier.Examples.ShouldPass.Partial.MulSignedWrap |
| 28 (Function) | Copilot.Verifier.Examples.ShouldPass.Partial.ShiftLTooLarge |
| 29 (Function) | Copilot.Verifier.Examples.ShouldPass.Partial.ShiftRTooLarge |
| 30 (Function) | Copilot.Verifier.Examples.ShouldPass.Partial.SubSignedWrap |
| 31 (Function) | Copilot.Verifier.Examples.ShouldPass.Structs |
| 32 (Function) | Copilot.Verifier.Examples.ShouldPass.UpdateArray |
| 33 (Function) | Copilot.Verifier.Examples.ShouldPass.UpdateStruct |
| 34 (Function) | Copilot.Verifier.Examples.ShouldPass.Voting |
| 35 (Function) | Copilot.Verifier.Examples.ShouldPass.WCV |
| verticalWCV | Copilot.Verifier.Examples.ShouldPass.WCV |
| Volts | |
| 1 (Type/Class) | Copilot.Verifier.Examples.ShouldPass.Structs |
| 2 (Data Constructor) | Copilot.Verifier.Examples.ShouldPass.Structs |
| 3 (Type/Class) | Copilot.Verifier.Examples.ShouldPass.UpdateStruct |
| 4 (Data Constructor) | Copilot.Verifier.Examples.ShouldPass.UpdateStruct |
| volts | |
| 1 (Function) | Copilot.Verifier.Examples.ShouldPass.Structs |
| 2 (Function) | Copilot.Verifier.Examples.ShouldPass.UpdateStruct |
| vote | Copilot.Verifier.Examples.ShouldPass.Voting |
| wcv | Copilot.Verifier.Examples.ShouldPass.WCV |
| window | Copilot.Verifier.Examples.ShouldPass.Heater |
| zthr | Copilot.Verifier.Examples.ShouldPass.WCV |
| |*| | Copilot.Verifier.Examples.ShouldPass.WCV |
| ~= | Copilot.Verifier.Examples.ShouldPass.WCV |