Add spec test for pumping example#163

Open

mohsen-ghaffari1992 wants to merge 22 commits into

mainfrom

pump_spec_tests

Commits on Mar 4, 2023

Commits on Nov 29, 2023

Issue #145 is resolved. Some spec test for pumping are added.

mohsen-ghaffari1992
authored and
wasowski
committed
Spec tests for Pump

mohsen-ghaffari1992
authored and
wasowski
committed
Spec tests for Pump

mohsen-ghaffari1992
authored and
wasowski
committed
Update PumpSpec.scala

mohsen-ghaffari1992
authored and
wasowski
committed
Changing scalatest to scalacheck

mohsen-ghaffari1992
authored and
wasowski
committed
pumping: Presentation improvement in tests
wasowski
committed
pumping: Add pre-conditions for states, enforce more coding conventions
wasowski
committed
pumping: Minor cleanup
wasowski
committed
AgentLaws: speed up some of the tests by 1000 times
wasowski
committed

Commits on Nov 30, 2023

Merge branch 'pump_spec_tests' of github.com:itu-square/symsim into pump_spec_tests
wasowski
committed