ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-26 11:45:00 +03:00
Code Issues Packages Projects Releases Wiki Activity
5,462 Commits 54 Branches 46 Tags 340 MiB
9975a2c200
Commit Graph

250 Commits

Author SHA1 Message Date
Collin Chin
5a7feb28f7
Improve testing infrastructure (#2227) 
* wip

* re-enable get_process call for test programs

* remove local tests

* clean up

* remove rust version from cargo.toml
 2023-01-03 17:51:13 -08:00
d0cd
48a1f0590b
Rename console.assert* to assert*. (#2205) 
* Add assert statements to AST

* Add support in passes

* Add parser support

* Add tyc support

* Add support for assert statements in the remaining passes

* Fix examples, tests, and regen expectations

* Fmt

* Regen expectations
 2022-12-06 21:56:48 -08:00
collin
f6f286ac8a pull testnet3, regen tests 2022-11-23 02:37:57 -05:00
collin
9e28591589 pull testnet3, regen tests 2022-11-23 01:56:37 -05:00
d0cd
ae329c521b Deprecate (async) finalize statements 2022-11-15 13:18:39 -08:00
d0cd
f60dcca1a3 Regen expectations 2022-11-12 16:35:54 -08:00
d0cd
232cbfb6bb More tests 2022-11-12 10:05:00 -08:00
d0cd
a69c1b4dae Regen expectations 2022-11-12 09:53:29 -08:00
d0cd
91db5c3b8a Regen expectations 2022-11-08 15:49:47 -08:00
d0cd
8a3ffbc141 Fix tests; regen expectations 2022-11-08 15:49:47 -08:00
Pranav Gaddamadugu
e1a148a93e Regen expectations 2022-10-05 23:52:37 -07:00
Pranav Gaddamadugu
dbb72ddbf8 Add tests showing program annotation fails 2022-10-03 15:02:28 -07:00
Pranav Gaddamadugu
ce3fd38cd4 Regen expectations 2022-10-03 14:57:14 -07:00
Pranav Gaddamadugu
b92fefddc4 Add test for deprecated circuit; rename tests 2022-09-30 13:20:23 -07:00
Pranav Gaddamadugu
898d831249 Regen expectations 2022-09-30 12:58:39 -07:00
Pranav Gaddamadugu
8d12cd6651 Rename tests 2022-09-30 10:48:47 -07:00
Pranav Gaddamadugu
7a859e7b63 Regen test expectations 2022-09-21 13:18:50 -07:00
collin
bdaf486604 fix bug and regen tests 2022-09-20 22:05:49 -07:00
Pranav Gaddamadugu
c2bed2bb54 Add name to finalize block 2022-09-13 11:06:24 +02:00
Pranav Gaddamadugu
48ce885860 Add more tyc checks 2022-09-07 10:39:00 -07:00
Pranav Gaddamadugu
dea8b987c7 Parser tests for finalize 2022-09-06 12:58:24 -07:00
Pranav Gaddamadugu
9032df19cb Parser tests for mapping 2022-09-06 12:36:27 -07:00
Pranav Gaddamadugu
267fc99978 Add new tests; regen expectations 2022-09-06 12:14:37 -07:00
Pranav Gaddamadugu
0fa8082656 Update token example 2022-09-06 12:14:36 -07:00
Pranav Gaddamadugu
18274bf4f9 More tyc 2022-09-06 12:13:32 -07:00
Pranav Gaddamadugu
9f56b34677 wip 2022-09-06 12:13:32 -07:00
Pranav Gaddamadugu
1b6dea395f Add parser tests; regen expectations 2022-09-06 12:13:32 -07:00
Pranav Gaddamadugu
7278a5bf39 Regen expectations 2022-08-17 16:03:57 -07:00
Pranav Gaddamadugu
4c658f7b01 Regen test expectations 2022-08-17 15:27:33 -07:00
collin
fbf0a0aea9 merge testnet3 2022-08-15 21:45:25 -07:00
Pranav Gaddamadugu
2a34d31d33 Regen test expectations 2022-08-09 19:53:17 -07:00
Pranav Gaddamadugu
7ff7170c45 Fix unary negation parser; add test 2022-08-09 19:53:17 -07:00
Pranav Gaddamadugu
8f5d5badb7 Fix and regen test expectations 2022-08-09 19:53:17 -07:00
Pranav Gaddamadugu
2740099e77 Regenerate test expectations 2022-08-06 07:50:18 -07:00
Pranav Gaddamadugu
a47eb32eaf Cleanup; add test 2022-08-05 14:58:29 -07:00
collin
d397c750d2 merge testnet3 2022-08-05 13:59:08 -07:00
Pranav Gaddamadugu
dfea5bbf15 Add @program modifier to tests; regen expectations 2022-08-04 20:00:40 -07:00
Pranav Gaddamadugu
efafb7748e Regen test expectations due to AST refactors 2022-08-04 18:00:00 -07:00
Pranav Gaddamadugu
a73ddfb815 Add parser tests for annotations 2022-08-04 17:55:26 -07:00
collin
0138b270a8 regen tests 2022-08-03 16:26:16 -07:00
collin
2331debcf5 update test infra 2022-08-03 16:17:40 -07:00
collin
3826293f31 fix op assign bugs 2022-08-01 14:14:39 -07:00
collin
60e4279934 merge testnet3 2022-07-29 14:16:34 -07:00
collin
a2862f8894 stabilize all tests working with snarkVM package build 2022-07-28 17:07:51 -07:00
collin
8a0e9bc5cc merge testnet3 regen tests 2022-07-28 14:19:57 -07:00
collin
10c9bb1c28 fix directory bug for test expectations 2022-07-28 14:14:25 -07:00
Pranav Gaddamadugu
4d978dc41c Regenerate test expectations after AST changes 2022-07-28 09:25:26 -07:00
collin
184af219ee build and check aleo files during cargo test 2022-07-27 15:49:49 -07:00
Mazdak Farrokhzad
db42194d49 remove unused errors 2022-07-20 20:19:00 +02:00
collin
66b0fcc885 merge testnet3 regen tests 2022-07-18 15:33:40 -07:00