Skip to content

Commit 39b9e2b

Browse files
RyanGlScottRyanGlScott
committed
Put current examples under ShouldPass directory
This is in preparation of adding examples that are expected _not_ to pass, as requested in #13.
1 parent 78a4032 commit 39b9e2b

15 files changed

Lines changed: 40 additions & 40 deletions

File tree

‎copilot-verifier/copilot-verifier.cabal‎

Lines changed: 11 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -67,17 +67,17 @@ library copilot-verifier-examples
6767
copilot-verifier
6868
exposed-modules:
6969
Copilot.Verifier.Examples
70-
Copilot.Verifier.Examples.Array
71-
Copilot.Verifier.Examples.Arith
72-
Copilot.Verifier.Examples.Clock
73-
Copilot.Verifier.Examples.Counter
74-
Copilot.Verifier.Examples.Engine
75-
Copilot.Verifier.Examples.FPOps
76-
Copilot.Verifier.Examples.Heater
77-
Copilot.Verifier.Examples.IntOps
78-
Copilot.Verifier.Examples.Structs
79-
Copilot.Verifier.Examples.Voting
80-
Copilot.Verifier.Examples.WCV
70+
Copilot.Verifier.Examples.ShouldPass.Array
71+
Copilot.Verifier.Examples.ShouldPass.Arith
72+
Copilot.Verifier.Examples.ShouldPass.Clock
73+
Copilot.Verifier.Examples.ShouldPass.Counter
74+
Copilot.Verifier.Examples.ShouldPass.Engine
75+
Copilot.Verifier.Examples.ShouldPass.FPOps
76+
Copilot.Verifier.Examples.ShouldPass.Heater
77+
Copilot.Verifier.Examples.ShouldPass.IntOps
78+
Copilot.Verifier.Examples.ShouldPass.Structs
79+
Copilot.Verifier.Examples.ShouldPass.Voting
80+
Copilot.Verifier.Examples.ShouldPass.WCV
8181

8282
executable verify-examples
8383
import: bldflags

‎copilot-verifier/examples/Copilot/Verifier/Examples.hs‎

Lines changed: 14 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
{-# LANGUAGE OverloadedStrings #-}
2-
module Copilot.Verifier.Examples (allExamples) where
2+
module Copilot.Verifier.Examples (shouldPassExamples) where
33

44
import qualified Data.CaseInsensitive as CI
55
import Data.CaseInsensitive (CI)
@@ -8,20 +8,20 @@ import Data.Map (Map)
88
import Data.Text (Text)
99

1010
import Copilot.Verifier (Verbosity)
11-
import qualified Copilot.Verifier.Examples.Array as Array
12-
import qualified Copilot.Verifier.Examples.Arith as Arith
13-
import qualified Copilot.Verifier.Examples.Clock as Clock
14-
import qualified Copilot.Verifier.Examples.Counter as Counter
15-
import qualified Copilot.Verifier.Examples.Engine as Engine
16-
import qualified Copilot.Verifier.Examples.FPOps as FPOps
17-
import qualified Copilot.Verifier.Examples.Heater as Heater
18-
import qualified Copilot.Verifier.Examples.IntOps as IntOps
19-
import qualified Copilot.Verifier.Examples.Structs as Structs
20-
import qualified Copilot.Verifier.Examples.Voting as Voting
21-
import qualified Copilot.Verifier.Examples.WCV as WCV
11+
import qualified Copilot.Verifier.Examples.ShouldPass.Array as Array
12+
import qualified Copilot.Verifier.Examples.ShouldPass.Arith as Arith
13+
import qualified Copilot.Verifier.Examples.ShouldPass.Clock as Clock
14+
import qualified Copilot.Verifier.Examples.ShouldPass.Counter as Counter
15+
import qualified Copilot.Verifier.Examples.ShouldPass.Engine as Engine
16+
import qualified Copilot.Verifier.Examples.ShouldPass.FPOps as FPOps
17+
import qualified Copilot.Verifier.Examples.ShouldPass.Heater as Heater
18+
import qualified Copilot.Verifier.Examples.ShouldPass.IntOps as IntOps
19+
import qualified Copilot.Verifier.Examples.ShouldPass.Structs as Structs
20+
import qualified Copilot.Verifier.Examples.ShouldPass.Voting as Voting
21+
import qualified Copilot.Verifier.Examples.ShouldPass.WCV as WCV
2222

23-
allExamples :: Verbosity -> Map (CI Text) (IO ())
24-
allExamples verb = Map.fromList
23+
shouldPassExamples :: Verbosity -> Map (CI Text) (IO ())
24+
shouldPassExamples verb = Map.fromList
2525
[ example "Array" (Array.verifySpec verb)
2626
, example "Arith" (Arith.verifySpec verb)
2727
, example "Clock" (Clock.verifySpec verb)

copilot-verifier/examples/Copilot/Verifier/Examples/Arith.hs renamed to copilot-verifier/examples/Copilot/Verifier/Examples/ShouldPass/Arith.hs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11

22
{-# LANGUAGE RebindableSyntax #-}
33

4-
module Copilot.Verifier.Examples.Arith where
4+
module Copilot.Verifier.Examples.ShouldPass.Arith where
55

66
import Control.Monad (when)
77
import qualified Prelude as P

copilot-verifier/examples/Copilot/Verifier/Examples/Array.hs renamed to copilot-verifier/examples/Copilot/Verifier/Examples/ShouldPass/Array.hs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@
1111
{-# LANGUAGE RebindableSyntax #-}
1212
{-# LANGUAGE DataKinds #-}
1313

14-
module Copilot.Verifier.Examples.Array where
14+
module Copilot.Verifier.Examples.ShouldPass.Array where
1515

1616
import Language.Copilot
1717
import Copilot.Compile.C99

copilot-verifier/examples/Copilot/Verifier/Examples/Clock.hs renamed to copilot-verifier/examples/Copilot/Verifier/Examples/ShouldPass/Clock.hs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@
55
-- | Example showing usage of clocks to generate periodically recurring truth
66
-- values.
77

8-
module Copilot.Verifier.Examples.Clock where
8+
module Copilot.Verifier.Examples.ShouldPass.Clock where
99

1010
import Control.Monad (when)
1111
import qualified Prelude as P

copilot-verifier/examples/Copilot/Verifier/Examples/Counter.hs renamed to copilot-verifier/examples/Copilot/Verifier/Examples/ShouldPass/Counter.hs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66

77
{-# LANGUAGE RebindableSyntax #-}
88

9-
module Copilot.Verifier.Examples.Counter where
9+
module Copilot.Verifier.Examples.ShouldPass.Counter where
1010

1111
import Control.Monad (when)
1212
import qualified Prelude as P

copilot-verifier/examples/Copilot/Verifier/Examples/Engine.hs renamed to copilot-verifier/examples/Copilot/Verifier/Examples/ShouldPass/Engine.hs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66

77
{-# LANGUAGE RebindableSyntax #-}
88

9-
module Copilot.Verifier.Examples.Engine where
9+
module Copilot.Verifier.Examples.ShouldPass.Engine where
1010

1111
import Language.Copilot
1212
import Copilot.Compile.C99

copilot-verifier/examples/Copilot/Verifier/Examples/FPOps.hs renamed to copilot-verifier/examples/Copilot/Verifier/Examples/ShouldPass/FPOps.hs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
{-# LANGUAGE NoImplicitPrelude #-}
22
{-# LANGUAGE ScopedTypeVariables #-}
33
{-# LANGUAGE TypeApplications #-}
4-
module Copilot.Verifier.Examples.FPOps where
4+
module Copilot.Verifier.Examples.ShouldPass.FPOps where
55

66
import Copilot.Compile.C99 (mkDefaultCSettings)
77
import qualified Copilot.Language.Stream as Copilot

copilot-verifier/examples/Copilot/Verifier/Examples/Heater.hs renamed to copilot-verifier/examples/Copilot/Verifier/Examples/ShouldPass/Heater.hs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@
77
-- enough. It read temperature as a byte (range -50C to 100C) and translates
88
-- this to Celcius.
99

10-
module Copilot.Verifier.Examples.Heater where
10+
module Copilot.Verifier.Examples.ShouldPass.Heater where
1111

1212
import Language.Copilot
1313
import Copilot.Compile.C99

copilot-verifier/examples/Copilot/Verifier/Examples/IntOps.hs renamed to copilot-verifier/examples/Copilot/Verifier/Examples/ShouldPass/IntOps.hs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
{-# LANGUAGE NoImplicitPrelude #-}
2-
module Copilot.Verifier.Examples.IntOps where
2+
module Copilot.Verifier.Examples.ShouldPass.IntOps where
33

44
import Copilot.Compile.C99 (mkDefaultCSettings)
55
import Copilot.Verifier (Verbosity, verifyWithVerbosity)

0 commit comments

Comments
 (0)