405 Commits

Author	SHA1	Message	Date
Alessandro Coglio	f502b9c5e9	[tests] Move failing test to new fail. ... Instead of commenting out this failing test, it seem better to add to a new file for failing tests. If and when we change Leo to accept field literals in hex, we can move the test from the Fail file to the Pass fail. This also helps the ACL2 tester, which is currently not handling comment-out tests of this form.	2022-05-12 14:04:22 -07:00
collin	bacc0d7510	merge testnet3	2022-05-12 13:18:43 -07:00
Eric McCarthy	27991a6423	[tests] add expectation for group/x_and_y.leo	2022-05-12 10:57:52 -07:00
Eric McCarthy	b08ab82cbc	[tests] fix (x,y)group test	2022-05-12 10:41:57 -07:00
Mazdak Farrokhzad	a5ad874ffb	spans: use source map backing	2022-05-12 16:09:18 +02:00
Alessandro Coglio	20a081da37	[tests] Fix format and expectation of a test. ... This was apparently disabled, but it did not start with a block comment. This commit fixes it to start with a block comment as required. This commit also makes it a failing test, which is appropriate because in the current version of Leo we do not allow untyped literals (i.e. lone numerals as expressions), and it is thus a good negative test for the current version of Leo. When we extend Leo to allow untyped literals, we can simply flip the expectation of this test from Fail to Pass.	2022-05-11 21:16:41 -07:00
collin	8f17d6294a	rename scalar -> primitive	2022-05-11 14:09:12 -07:00
Alessandro Coglio	62f2267c2b	[parser] Fix parsing of ordering expressions. ... Follow the grammar rule. The ordering operators are not associative. Split previous tests into succeeding and failing ones. Refresh expectations of old test files. Add expectations of new test files.	2022-05-10 23:32:46 -07:00
Eric McCarthy	06cb450593	[tests] add block comment annotation to field/sub.leo and field/ternary.leo and add expectations files	2022-05-10 13:38:41 -07:00
collin	1a569eb655	regen tests	2022-05-10 11:59:34 -07:00
collin	c1d36ee62e	remove const function code	2022-05-10 11:57:23 -07:00
collin	1bf39e76a9	commit expectations	2022-05-10 11:38:29 -07:00
collin	cca3c84ef4	remove unused imports code and tests	2022-05-10 11:22:30 -07:00
Collin Chin	be9fa96d9e	Merge pull request #1786 from AleoHQ/feature/type-checking ... [Impl] type-checking	2022-05-10 11:17:44 -07:00
gluax	23f19fc4f7	missed regening a test	2022-05-05 15:58:41 -07:00
gluax	b79b961610	make new tests	2022-05-05 15:44:33 -07:00
gluax	d33e69bac8	re-introduce some disabled tests, fix some	2022-05-05 15:38:55 -07:00
Collin Chin	527c55f841	Merge pull request #1666 from AleoHQ/feature/1654-require-types ... [Impl] Require Types	2022-05-04 15:53:55 -07:00
gluax	e03af95ff6	change output format, st doesn't change bc of input file	2022-05-04 15:43:07 -07:00
gluax	b97bf4c9bc	started going through deprecated tests, noticed parts of testframework were broken	2022-05-04 15:37:59 -07:00
gluax	2c252f7878	all current compiler tests pass, need to add more	2022-05-04 13:37:53 -07:00
Collin Chin	4a1cd29b53	Merge pull request #1781 from AleoHQ/doc-test-update ... [Testing] Update doc of test framework.	2022-05-04 13:02:22 -07:00
gluax	4fb95d1195	initial commit for tc, adds get_type to Node	2022-05-03 11:26:56 -07:00
Alessandro Coglio	ce7dfedea6	[testing] Remove obsolete section from README.	2022-05-02 21:51:54 -07:00
gluax	18bd03318f	use input_file for each, as now inline input content is ignored	2022-05-02 20:34:37 -07:00
gluax	a7c3696e90	merge testnet3 into required types, also remove identifier type	2022-05-02 19:43:46 -07:00
Alessandro Coglio	9dcc0a5ec5	[tests] Consistently use block comments. ... There were four test files, found by @bendyarm, that use end-of-line comments instead of block comments as prescribed by the README.md. This commit changes them to block comments, for consistency with the README.md, and uniformity across the files. There is clearly nothing wrong with supporting block comments (which apparently the Rust implementation of the Leo test framework already does). However, just supporting block comments slightly simplifies the processing of the Leo test files on the ACL2 side, as we are building that processing right now. We could support end-of-line comments on the ACL2 side as well if desired. But it seems unnecessary and unimportant at least for now. This is a quick PR, so it's okay if it gets rejected and instead we want to support end-of-line comments right away.	2022-05-02 14:28:43 -07:00
Alessandro Coglio	0c2aed8c9d	[Testing] Update doc of test framework.	2022-05-02 12:40:14 -07:00
gluax	7e6cc65d54	change back to parse_input to reflect what we do for parse_program	2022-04-28 12:44:54 -07:00
gluax	7524a325bf	fix grabbing last error	2022-04-27 12:31:24 -07:00
gluax	5108cab460	most compiler tests passing	2022-04-27 12:04:45 -07:00
gluax	8c7fe53ff6	fix leo input parser bug	2022-04-27 11:52:06 -07:00
gluax	8c86407b91	cleaning up tests, fixed compiler bug, found input parse bug	2022-04-27 11:44:05 -07:00
Eric McCarthy	344cc61d0c	[lexer] add "_fail" suffix on test file names for tests that are supposed to fail (#1770)	2022-04-25 08:58:41 -07:00
collin	f89966fe32	merge testnet3	2022-04-21 14:37:33 -07:00
Collin Chin	23fca6af47	Merge pull request #1751 from AleoHQ/abnf-bidi-overrides ... [ABNF] disallow bidi override codepoints	2022-04-20 09:34:00 -07:00
Eric McCarthy	8eecca1af7	[tests] fix missing file extension on test file and remove vestigial dollar sign	2022-04-19 14:19:55 -07:00
Eric McCarthy	3227930df9	[lexer] add fail tests for bidi overrides	2022-04-19 13:16:09 -07:00
gluax	98c7ced6fe	merge upstream testnet3	2022-04-19 12:58:28 -07:00
Collin Chin	645b5a2be7	Merge pull request #1750 from AleoHQ/address-check ... Address check	2022-04-19 12:56:27 -07:00
gluax	54c936cc61	leo warnings, disable unused errors for now	2022-04-18 14:06:28 -07:00
collin	f53817c5f5	implement real address literal check	2022-04-13 15:21:08 -07:00
Mazdak Farrokhzad	b955b77ac2	parser: minor cleanup + span fix	2022-04-13 22:52:53 +02:00
Mazdak Farrokhzad	31fcc2f216	parser: store (prev_)token	2022-04-13 22:20:48 +02:00
gluax	9f79ca7169	allow const but throw a recoverable error	2022-04-12 11:46:35 -07:00
gluax	cfc5b00bad	add constant keyword, only used for params	2022-04-10 23:10:55 -07:00
gluax	a5b692a765	merge upstream testnet3	2022-04-06 10:25:26 -07:00
gluax	3936e6c202	doc new fn, test updates	2022-04-06 10:23:20 -07:00
gluax	3a85223e22	adjust tests	2022-04-05 11:38:21 -07:00
gluax	a675b81c0a	change tests	2022-04-05 09:36:22 -07:00
gluax	80d97416cb	fixes and correct tests	2022-04-04 15:31:08 -07:00
gluax	27921a61e6	tuples removed	2022-03-28 10:35:36 -07:00
gluax	95d508566f	remove circuit access	2022-03-28 07:54:29 -07:00
gluax	877674230a	remove aliases and gcs	2022-03-28 07:47:05 -07:00
gluax	78b04ff000	remove as and imports	2022-03-28 07:42:23 -07:00
gluax	ef4b3787a9	remove arrays	2022-03-28 07:31:53 -07:00
gluax	401c6a6d4d	remove annotation and static access	2022-03-28 07:04:29 -07:00
gluax	7ad500b344	remove uneeded circuit syms	2022-03-28 06:53:22 -07:00
gluax	d37f9f29c2	remove circuits	2022-03-28 06:32:55 -07:00
gluax	398e6f5469	merge upstream testnet3	2022-03-28 06:21:17 -07:00
gluax	4f62c86b39	test open bugs, they all pass :)	2022-03-17 10:46:42 -07:00
gluax	34e1b39805	some cleanup	2022-03-16 15:04:49 -07:00
gluax	790c282e8b	merge upstream testnet3	2022-03-16 13:56:55 -07:00
0rphon	ca6ae112ff	fixed take_hook	2022-03-16 13:15:58 -07:00
gluax	0e7d36a61c	current tests pass	2022-03-16 13:02:56 -07:00
0rphon	82ce58544b	fixed ci	2022-03-15 17:15:08 -07:00
0rphon	d25eb79594	improved test runner	2022-03-15 16:56:54 -07:00
0rphon	0e1d1a43e9	removed tools/failing tests	2022-03-15 15:38:06 -07:00
0rphon	310944acc5	excluded failing tests, added new ones	2022-03-14 17:37:15 -07:00
0rphon	a9ed6dcc81	Update char.leo	2022-03-14 16:36:36 -07:00
0rphon	7c049177cb	Merge branch 'testnet3' into improve-parser-tests	2022-03-14 16:36:16 -07:00
0rphon	1604f10115	re-enabled tests, removed fuzzing hooks	2022-03-14 16:29:34 -07:00
gluax	ef8d0415e7	change parens around variable into recoverable error	2022-03-14 08:12:03 -07:00
gluax	9a45c2ae99	fix array around 1 element array dim size	2022-03-14 08:07:01 -07:00
gluax	2c30cba70f	remove parened field	2022-03-14 07:58:51 -07:00
0rphon	3c258bf3a4	code cleanup, added tests, marked dangerous code for review	2022-03-09 15:16:52 -08:00
gluax	377c65be21	fix issues from fixing a panic	2022-03-09 12:08:15 -08:00
gluax	a227e7c113	add tests, fix namespaces on older tests, fix another bug	2022-03-09 11:11:30 -08:00
gluax	86000325bf	remove option types in rest of places, clean up canonicalization	2022-03-08 12:58:32 -08:00
gluax	eaf0a82154	merge testnet3	2022-03-08 10:24:36 -08:00
gluax	9d088ea152	remove implicit ints in tests	2022-03-08 10:20:05 -08:00
0rphon	9afee5e328	updated tests	2022-03-08 01:01:30 -08:00
0rphon	39ea7a3ceb	Merge branch 'testnet3' into improve-parser-tests	2022-03-08 00:57:32 -08:00
Collin Chin	5e2ba78750	Merge pull request #1656 from AleoHQ/remove/unsized-array ... Remove/unsized array	2022-03-07 17:14:03 -08:00
collin	6a33035257	remove unsized array parser tests	2022-03-07 14:50:53 -08:00
gluax	d39a3c00d7	fix tests so far	2022-03-07 08:30:03 -08:00
collin	1f7b1b57cc	remove unsized array tests	2022-03-04 12:27:17 -08:00
gluax	060c13dd8d	clippy fix	2022-03-04 11:21:42 -08:00
gluax	789862103e	another char bug fix	2022-03-04 11:18:28 -08:00
gluax	308512fab9	add tests	2022-03-04 10:26:34 -08:00
gluax	85764aa394	fix self discrep	2022-03-04 10:03:42 -08:00
gluax	bd1d602f6d	fix annotation error msg	2022-03-04 09:28:29 -08:00
0rphon	7d2cbb2ec2	done with coverage ... finished coverage tests. adding case by case tests from the parser fuzzer next	2022-03-02 14:13:37 -08:00
0rphon	2b4751e7e1	regenned tests	2022-03-01 12:15:54 -08:00
0rphon	9d1714d779	Merge remote-tracking branch 'origin/testnet3' into improve-parser-tests	2022-03-01 12:00:10 -08:00
gluax	029a42df0a	regen tests so far	2022-02-28 14:47:22 -08:00
gluax	dd4f51a218	fix testframework path	2022-02-28 13:40:43 -08:00
collin	9ff0d3fed3	move tools/test-framework -> tests/test-framework	2022-02-28 10:29:05 -08:00
Collin Chin	9a44dc35c3	Merge pull request #1643 from AleoHQ/lexer-errors ... Lexer Errors	2022-02-28 08:53:56 -08:00
0rphon	cc71ed2d07	emoji tests	2022-02-25 17:21:41 -08:00