Commit graph

102 commits

Author SHA1 Message Date
Seungheon Oh
ec46273b5b Now it checks specific treasury
Emily's suggestion on the review
2022-04-22 11:18:38 -04:00
Seungheon Oh
17817ba68b simple fixes suggested from review 2022-04-22 08:23:54 -04:00
Seungheon Oh
df8baf4f4f Yeah! Treasury Withdrawal Effect works with good tests 2022-04-21 19:02:10 -05:00
Seungheon Oh
0d99e36541 Restructured Testings
Separated the samples and test sets
2022-04-21 16:44:59 -05:00
Seungheon Oh
bed2f37c2f withdrawal effect that actually passes tests 2022-04-21 16:17:54 -05:00
Seungheon Oh
6c02b94e16 more testings 2022-04-21 16:17:54 -05:00
Seungheon Oh
54e95364ea added test entree
Something is wrong. It does not work.
2022-04-21 16:17:49 -05:00
Seungheon Oh
c96ac583db now proper a proper script context..
and some formatting fixes
2022-04-21 16:16:50 -05:00
Seungheon Oh
774702f255 TWE test 2022-04-21 16:16:50 -05:00
Seungheon Oh
aa4d198e9f format... 2022-04-21 16:16:50 -05:00
Seungheon Oh
c90cd94c59 first step to the Test for Treasury Withdrawal Effect 2022-04-21 16:16:50 -05:00
Emily Martins
956dbb4b53 add tests for authority token function 'singleAuthorityTokenBurned' 2022-04-20 20:26:32 +02:00
Seungheon Oh
a59c6fd55d fixes 2022-04-19 08:04:39 -04:00
Seungheon Oh
4ac6e1c081 fix misleading information 2022-04-19 08:03:17 -04:00
SeungheonOh
a92f41a356 removed random line break 2022-04-18 22:57:04 +00:00
Seungheon Oh
374fa2ee1a Little guidance for agora-test
I noticed `agora-test` is quote poorly documented... While it will
receive a restructure when we migrate to `plutarch-test`, these are
small notes in the meantime.
2022-04-18 17:52:30 -05:00
Jack Hodgkinson
bd300de832 apply hlint suggestions 2022-04-12 13:55:27 +01:00
Jack Hodgkinson
0e628d0144 more work on treasury testing! 2022-04-12 13:44:05 +01:00
Jack Hodgkinson
e6a6e843a0 fixed import issue 2022-04-08 14:33:51 +01:00
Jack Hodgkinson
eba688f957 Merge branch 'master' of github.com:Liqwid-Labs/agora into jhodgdev/treasury-tests 2022-04-08 13:32:51 +01:00
Jack Hodgkinson
2f7e221fba lightly expanded prop generator 2022-04-01 10:41:18 +01:00
Emily Martins
c0fa200d8d lock field in Stake datum, singleAuthorityTokenBurned helper 2022-03-31 16:48:59 +02:00
Emily Martins
8c9225c1f1 use plutarch-safemoney instead of local Agora.SafeMoney 2022-03-30 15:32:50 +02:00
Emily Martins
7a3e62a401 Merge branch 'master' into emiflake/stub-everything 2022-03-28 15:48:02 +02:00
Jack Hodgkinson
868d72634b Bumped apropos 2022-03-28 14:20:34 +01:00
Emily Martins
449dd3f87e fix docs, hlint errors 2022-03-28 14:59:53 +02:00
Jack Hodgkinson
eb2677e392 Expanded logicalmodel of treasury tests 2022-03-28 12:43:09 +01:00
Emily Martins
4469671da0 migrate Haskell-level datums to use Discrete 2022-03-26 15:08:11 +01:00
Emily Martins
dee3de0a73 rework SafeMoney to use tags instead of MoneyClass 2022-03-26 11:52:52 +01:00
Jack Hodgkinson
7ac5ac5af5 Work on treasury validator tests 2022-03-25 13:54:22 +00:00
Jack Hodgkinson
75471d0058 Remove redundant Spec Int test 2022-03-25 11:28:17 +00:00
Jack Hodgkinson
f216be0aac Merge branch 'master' of github.com:Liqwid-Labs/agora into jhodgdev/treasury-tests 2022-03-25 11:13:30 +00:00
Jack Hodgkinson
120b65774c Began carving out apropos treasury tests 2022-03-24 15:59:51 +00:00
Emily Martins
c087123262 rename LBS to ByteString.Lazy 2022-03-24 16:11:03 +01:00
Emily Martins
4feaaf1e06 more docs 2022-03-24 16:09:39 +01:00
Emily Martins
633c3bea9e apply suggestions and fix remaining haddock suggestions 2022-03-24 15:43:21 +01:00
Jack Hodgkinson
a0726e42f4 Merge branch 'emiflake/cleanup-tests' of github.com:Liqwid-Labs/agora into jhodgdev/treasury-tests 2022-03-24 14:28:25 +00:00
Emily Martins
210a6195b6 improve ergonomics and add documentation 2022-03-23 22:03:11 +01:00
Emily Martins
78d104c213 add some tests for Stake validator 2022-03-23 21:37:28 +01:00
Emily Martins
3f642daaf1 remove Int apropos-tx example, move Model.* to Spec.Model.* 2022-03-21 15:39:38 +01:00
Jack Hodgkinson
745e576d33 Added some annotations to work on multisig apropos testing 2022-03-18 14:46:47 +00:00
Emily Martins
93acd81e79 add HasParameterisedGenerator and wire tests up 2022-03-18 15:23:07 +01:00
Jack Hodgkinson
060e46814a paired programming work 2022-03-18 12:19:45 +00:00
Jack Hodgkinson
131806f9a7 inited tr tests 2022-03-18 10:59:46 +00:00
Jack Hodgkinson
b135d8f0b2 formatting fix 2022-03-17 10:45:01 +00:00
Jack Hodgkinson
08c963678d inited branch 2022-03-17 10:06:14 +00:00
Emily Martins
3d76511a50 add intentionally failing examples 2022-03-16 13:55:00 +01:00
Emily Martins
b58ccfd785 move scriptTest to Util module 2022-03-15 17:25:44 +01:00
Emily Martins
9dc89bcf55 add comments to Multisig module 2022-03-15 12:12:52 +01:00
Emily Martins
b57d7bde6e bump plutarch to staging rev 2022-03-11 18:05:30 +01:00