├── .gitignore ├── LICENSE ├── README.md ├── Recording-Replaying.png ├── Setup.hs ├── app ├── circle_area.json ├── def_expr.json ├── package.yaml ├── src │ ├── Expression │ │ ├── Expr.hs │ │ ├── Flow.hs │ │ └── IO.hs │ ├── Main.hs │ ├── Playback.hs │ └── Scenarios.hs ├── students.json ├── students_invalid_result.json ├── students_invalid_step.json ├── students_invalid_step_result.json ├── students_missing_step.json └── test │ ├── Spec.hs │ └── guid.txt ├── dist └── cabal-config-flags ├── lib ├── flow.cabal ├── flow │ ├── DB │ │ └── Native.hs │ ├── Language.hs │ ├── Playback │ │ ├── Entries.hs │ │ ├── Machine.hs │ │ └── Types.hs │ ├── Runtime │ │ ├── Interpreter.hs │ │ ├── Options.hs │ │ ├── SystemCommands.hs │ │ └── Types.hs │ └── Types.hs ├── package.yaml └── test │ └── Spec.hs ├── recordings.txt └── stack.yaml /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/graninas/automatic-whitebox-testing-showcase/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/graninas/automatic-whitebox-testing-showcase/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/graninas/automatic-whitebox-testing-showcase/HEAD/README.md -------------------------------------------------------------------------------- /Recording-Replaying.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/graninas/automatic-whitebox-testing-showcase/HEAD/Recording-Replaying.png -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /app/circle_area.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/graninas/automatic-whitebox-testing-showcase/HEAD/app/circle_area.json -------------------------------------------------------------------------------- /app/def_expr.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/graninas/automatic-whitebox-testing-showcase/HEAD/app/def_expr.json -------------------------------------------------------------------------------- /app/package.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/graninas/automatic-whitebox-testing-showcase/HEAD/app/package.yaml -------------------------------------------------------------------------------- /app/src/Expression/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/graninas/automatic-whitebox-testing-showcase/HEAD/app/src/Expression/Expr.hs -------------------------------------------------------------------------------- /app/src/Expression/Flow.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/graninas/automatic-whitebox-testing-showcase/HEAD/app/src/Expression/Flow.hs -------------------------------------------------------------------------------- /app/src/Expression/IO.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/graninas/automatic-whitebox-testing-showcase/HEAD/app/src/Expression/IO.hs -------------------------------------------------------------------------------- /app/src/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/graninas/automatic-whitebox-testing-showcase/HEAD/app/src/Main.hs -------------------------------------------------------------------------------- /app/src/Playback.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/graninas/automatic-whitebox-testing-showcase/HEAD/app/src/Playback.hs -------------------------------------------------------------------------------- /app/src/Scenarios.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/graninas/automatic-whitebox-testing-showcase/HEAD/app/src/Scenarios.hs -------------------------------------------------------------------------------- /app/students.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/graninas/automatic-whitebox-testing-showcase/HEAD/app/students.json -------------------------------------------------------------------------------- /app/students_invalid_result.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/graninas/automatic-whitebox-testing-showcase/HEAD/app/students_invalid_result.json -------------------------------------------------------------------------------- /app/students_invalid_step.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/graninas/automatic-whitebox-testing-showcase/HEAD/app/students_invalid_step.json -------------------------------------------------------------------------------- /app/students_invalid_step_result.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/graninas/automatic-whitebox-testing-showcase/HEAD/app/students_invalid_step_result.json -------------------------------------------------------------------------------- /app/students_missing_step.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/graninas/automatic-whitebox-testing-showcase/HEAD/app/students_missing_step.json -------------------------------------------------------------------------------- /app/test/Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/graninas/automatic-whitebox-testing-showcase/HEAD/app/test/Spec.hs -------------------------------------------------------------------------------- /app/test/guid.txt: -------------------------------------------------------------------------------- 1 | 58ee4992-31f6-11ea-978f-2e728ce88125 2 | -------------------------------------------------------------------------------- /dist/cabal-config-flags: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/graninas/automatic-whitebox-testing-showcase/HEAD/dist/cabal-config-flags -------------------------------------------------------------------------------- /lib/flow.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/graninas/automatic-whitebox-testing-showcase/HEAD/lib/flow.cabal -------------------------------------------------------------------------------- /lib/flow/DB/Native.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/graninas/automatic-whitebox-testing-showcase/HEAD/lib/flow/DB/Native.hs -------------------------------------------------------------------------------- /lib/flow/Language.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/graninas/automatic-whitebox-testing-showcase/HEAD/lib/flow/Language.hs -------------------------------------------------------------------------------- /lib/flow/Playback/Entries.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/graninas/automatic-whitebox-testing-showcase/HEAD/lib/flow/Playback/Entries.hs -------------------------------------------------------------------------------- /lib/flow/Playback/Machine.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/graninas/automatic-whitebox-testing-showcase/HEAD/lib/flow/Playback/Machine.hs -------------------------------------------------------------------------------- /lib/flow/Playback/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/graninas/automatic-whitebox-testing-showcase/HEAD/lib/flow/Playback/Types.hs -------------------------------------------------------------------------------- /lib/flow/Runtime/Interpreter.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/graninas/automatic-whitebox-testing-showcase/HEAD/lib/flow/Runtime/Interpreter.hs -------------------------------------------------------------------------------- /lib/flow/Runtime/Options.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/graninas/automatic-whitebox-testing-showcase/HEAD/lib/flow/Runtime/Options.hs -------------------------------------------------------------------------------- /lib/flow/Runtime/SystemCommands.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/graninas/automatic-whitebox-testing-showcase/HEAD/lib/flow/Runtime/SystemCommands.hs -------------------------------------------------------------------------------- /lib/flow/Runtime/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/graninas/automatic-whitebox-testing-showcase/HEAD/lib/flow/Runtime/Types.hs -------------------------------------------------------------------------------- /lib/flow/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/graninas/automatic-whitebox-testing-showcase/HEAD/lib/flow/Types.hs -------------------------------------------------------------------------------- /lib/package.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/graninas/automatic-whitebox-testing-showcase/HEAD/lib/package.yaml -------------------------------------------------------------------------------- /lib/test/Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/graninas/automatic-whitebox-testing-showcase/HEAD/lib/test/Spec.hs -------------------------------------------------------------------------------- /recordings.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/graninas/automatic-whitebox-testing-showcase/HEAD/recordings.txt -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- 1 | resolver: lts-11.22 2 | 3 | packages: 4 | - lib 5 | - app 6 | --------------------------------------------------------------------------------