You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
21 lines
556 B
21 lines
556 B
import qualified Test.BarAggregator |
|
import qualified Test.RoboCom.Indicators |
|
import qualified Test.RoboCom.Positions |
|
import qualified Test.RoboCom.Utils |
|
|
|
import Test.Tasty |
|
|
|
main :: IO () |
|
main = defaultMain $ testGroup "Tests" [unitTests, properties] |
|
|
|
unitTests :: TestTree |
|
unitTests = testGroup "Unit Tests" |
|
[Test.RoboCom.Indicators.unitTests, |
|
Test.RoboCom.Positions.unitTests, |
|
Test.RoboCom.Utils.unitTests, |
|
Test.BarAggregator.unitTests ] |
|
|
|
properties :: TestTree |
|
properties = testGroup "Properties" |
|
[Test.BarAggregator.properties ] |
|
|
|
|