feat: add liveness property for 2PC (doesn't pass yet) #256
Annotations
10 warnings
|
Build:
src/Spex/Experiment/LinearTemporalLogic.hs#L60
Top-level binding with no type signature: t0 :: Bool
|
|
Build:
src/Spex/Experiment/LinearTemporalLogic.hs#L60
• Defaulting the type variable ‘a0’ to type ‘Integer’ in the following constraints
|
|
Build:
src/Spex/Experiment/LinearTemporalLogic.hs#L64
Top-level binding with no type signature: t1 :: Bool
|
|
Build:
src/Spex/Experiment/LinearTemporalLogic.hs#L64
• Defaulting the type variable ‘a0’ to type ‘Integer’ in the following constraints
|
|
Build:
src/Spex/Experiment/LinearTemporalLogic.hs#L69
Top-level binding with no type signature: t2 :: Bool
|
|
Build:
src/Spex/Experiment/LinearTemporalLogic.hs#L69
• Defaulting the type variable ‘a0’ to type ‘Integer’ in the following constraints
|
|
Build:
src/Spex/Experiment/LinearTemporalLogic.hs#L74
Top-level binding with no type signature: t3 :: Bool
|
|
Build:
src/Spex/Experiment/LinearTemporalLogic.hs#L95
Top-level binding with no type signature: t4 :: Bool
|
|
Build:
src/Spex/Experiment/LinearTemporalLogic.hs#L115
Top-level binding with no type signature: unit_elevator :: Bool
|
|
Build:
src/Spex/Experiment/Protocol2.hs#L9
The import of ‘Debug.Trace’ is redundant
|
Loading