Hongrui Fang
638dc2d0c6
speed up test execution by precompiling scripts
...
x250 faster!
2022-08-12 05:01:35 +08:00
Hongrui Fang
f248dbab49
fix compilation errors
2022-08-12 04:56:19 +08:00
Hongrui Fang
fec3b2f13b
add docstrings for some crucial test facilities
2022-07-22 21:15:09 +08:00
Hongrui Fang
23cc230968
fix broken tests; utilizing new PCB APIs
2022-07-21 22:41:28 +08:00
Hongrui Fang
eb407b98c4
add tests for governor mutation
2022-07-21 22:41:22 +08:00
Hongrui Fang
c450e1252d
add tests for GAT minting
...
no more propsoal T_T
2022-07-21 22:29:18 +08:00
Hongrui Fang
f0d0188812
add new tests for creating proposals
2022-07-11 23:47:29 +08:00
Hongrui Fang
1865c5cf38
fix existing tests
2022-07-11 23:10:19 +08:00
Hongrui Fang
9c8d04dbc6
add tests for advancement from draft phrase; refactoring
2022-07-05 16:59:15 +08:00
Hongrui Fang
2d3f8f0463
improve readability of test code
2022-06-20 21:49:39 +08:00
Hongrui Fang
4ac80516c5
allow multiple proposals in the samples of unlocking stake
2022-06-20 18:54:44 +08:00
Emily Martins
ad9da8e6b3
flake: bump plutarch, fix resulting issues
...
Collection of things fixed:
- `agora-test`: Fix compile resulting from some changes to hackage.
- `agora-benchmark`: Switched to `plutarch`-style `evalScript`.
- CI: Ported over new flake changes.
This is quite a mess.
2022-06-03 23:23:00 +02:00
Emily Martins
8e71ecbdfd
add and fix haddock doc comments
2022-06-02 16:28:14 +02:00
Seungheon Oh
b1a323afaa
Restructure
...
`agora-spec` and `agora-spec` is merged to be `agora-specs`;
`agora-testlib` contains what previously was `Spec.Specification`.
2022-05-30 13:30:25 -05:00
Seungheon Oh
cde96df6a3
removed redundant codes
2022-05-26 09:50:47 -05:00
fanghr
cdffbeffc9
add a property test for pupdate and updateMap
2022-05-20 21:50:58 +08:00
fanghr
bce9b45c25
add missing doc strings
2022-05-20 03:35:32 +08:00
fanghr
82201a6e1f
add sample test && fix broken tests
2022-05-20 03:35:31 +08:00
fanghr
283edd64b7
offload some stuff from agora-test to agora-sample and agora-testlib
2022-05-12 19:23:14 +08:00
