QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity
sophia/test/contracts
History
Radosław Rowicki 4f554acee6
Fix error messages for some illegal constructions, fix absolute path includes (#251) 
* Updated tests, banned type decls and toplevel letvals

* Properly ban nested contracts

* Fix including by path

* Fix error message test

* Fix prettpr attr display. Make dialyzer happy

* More tests

* Fixed type printing

* Updated docs
2020-03-30 14:52:16 +02:00
..
code_errors
Tests for unapplied builtins
2019-09-04 10:45:43 +02:00
reason
Added list comprehensions and standard List, Option, Func, Pair, and Triple library (#105)
2019-08-14 13:53:58 +02:00
__call.aes
Avoid hash collisions in calldata creation
2019-06-14 12:41:21 +02:00
05_greeter.aes
Fix error messages for some illegal constructions, fix absolute path includes (#251)
2020-03-30 14:52:16 +02:00
abort_test_int.aes
Updated tests
2019-07-22 13:56:45 +02:00
abort_test.aes
Updated tests
2019-07-22 13:56:45 +02:00
address_chain.aes
Add Address.is_payable(address)
2019-08-19 08:57:31 +02:00
address_literals.aes
Add Address.to_contract
2019-09-30 14:47:05 +02:00
aens.aes
add extra argument to claim for bidding
2019-09-01 10:58:49 +02:00
aeproof.aes
Add require builtin
2019-06-14 10:27:07 +02:00
all_syntax.aes
Fix error messages for some illegal constructions, fix absolute path includes (#251)
2020-03-30 14:52:16 +02:00
bad_address_literals.aes
Add Address.to_contract
2019-09-30 14:47:05 +02:00
bad_arity.aes
Fix error messages for some illegal constructions, fix absolute path includes (#251)
2020-03-30 14:52:16 +02:00
bad_bytes_concat.aes
Add Bytes.concat and Bytes.split to type checker
2019-09-09 18:40:45 +02:00
bad_bytes_split.aes
Add Bytes.concat and Bytes.split to type checker
2019-09-09 18:40:45 +02:00
bad_events2.aes
Update tests for entrypoints
2019-06-28 09:42:28 +02:00
bad_events.aes
Update tests for entrypoints
2019-06-28 09:42:28 +02:00
bad_init_state_access.aes
Update tests for entrypoints
2019-06-28 09:42:28 +02:00
bad_number_of_args.aes
Instant unification error on arguments count mismatch (#225)
2020-02-21 10:28:55 +01:00
bad_records.aes
Fix parse errors causing crashes instead of nice errors
2019-12-09 08:45:55 +01:00
bad_top_level_decl.aes
Fail gracefully on bad top-level declaration
2019-09-03 17:24:06 +02:00
bad_unnamed_map_update_default.aes
Fix error messages for some illegal constructions, fix absolute path includes (#251)
2020-03-30 14:52:16 +02:00
basic_auth.aes
Fix numeric escapes
2019-09-12 21:17:01 +02:00
bitcoin_auth.aes
Change ecverify into verify_sig and then add an actual ecverify
2019-08-21 09:29:40 +02:00
builtin_bug.aes
Update tests for entrypoints
2019-06-28 09:42:28 +02:00
builtin_map_get_bug.aes
Update tests for entrypoints
2019-06-28 09:42:28 +02:00
bytes_concat.aes
Test case for Bytes.concat/split
2019-09-09 18:40:45 +02:00
bytes_equality.aes
Update tests for entrypoints
2019-06-28 09:42:28 +02:00
bytes_to_x.aes
Update tests for entrypoints
2019-06-28 09:42:28 +02:00
calling_init_function.aes
Test case for calling init function from inside the contract
2019-09-03 14:47:13 +02:00
chain.aes
Implement namespaces
2019-02-08 14:16:06 +01:00
channel_env.aes
First test work commit, don't touch
2018-12-22 01:23:40 +01:00
channel_on_chain_contract_name_resolution.aes
First test work commit, don't touch
2018-12-22 01:23:40 +01:00
channel_on_chain_contract_oracle.aes
First test work commit, don't touch
2018-12-22 01:23:40 +01:00
channel_remote_on_chain_contract_name_resolution.aes
First test work commit, don't touch
2018-12-22 01:23:40 +01:00
chess.aes
First test work commit, don't touch
2018-12-22 01:23:40 +01:00
complex_types.aes
Add checks for polymorphic/higher order oracles and higher order entrypoints (AEVM)
2019-08-30 11:18:20 +02:00
contract_as_namespace.aes
Nice type error if contract function is called as from a namespace
2019-10-01 14:13:56 +02:00
contract_types.aes
First test work commit, don't touch
2018-12-22 01:23:40 +01:00
counter.aes
Update tests for entrypoints
2019-06-28 09:42:28 +02:00
cyclic_include_back.aes
Added list comprehensions and standard List, Option, Func, Pair, and Triple library (#105)
2019-08-14 13:53:58 +02:00
cyclic_include_forth.aes
Added list comprehensions and standard List, Option, Func, Pair, and Triple library (#105)
2019-08-14 13:53:58 +02:00
cyclic_include.aes
Added list comprehensions and standard List, Option, Func, Pair, and Triple library (#105)
2019-08-14 13:53:58 +02:00
deadcode.aes
Added list comprehensions and standard List, Option, Func, Pair, and Triple library (#105)
2019-08-14 13:53:58 +02:00
double_include.aes
Added list comprehensions and standard List, Option, Func, Pair, and Triple library (#105)
2019-08-14 13:53:58 +02:00
dutch_auction.aes
Update tests for entrypoints
2019-06-28 09:42:28 +02:00
empty_typedecl.aes
Fix error messages for some illegal constructions, fix absolute path includes (#251)
2020-03-30 14:52:16 +02:00
environment.aes
Update tests for entrypoints
2019-06-28 09:42:28 +02:00
erc20_token.aes
Add require builtin
2019-06-14 10:27:07 +02:00
events.aes
Updated tests
2019-07-22 13:56:45 +02:00
exploits.aes
First test work commit, don't touch
2018-12-22 01:23:40 +01:00
factorial.aes
GH-196 pattern matching lhs (#210)
2020-01-15 09:41:03 +01:00
field_parse_error.aes
Test for record field parse error
2019-05-27 12:04:38 +02:00
funargs.aes
Updated tests
2019-07-22 13:56:45 +02:00
functions.aes
Update tests for entrypoints
2019-06-28 09:42:28 +02:00
fundme.aes
Update tests for entrypoints
2019-06-28 09:42:28 +02:00
higher_kinded_type.aes
Fix error messages for some illegal constructions, fix absolute path includes (#251)
2020-03-30 14:52:16 +02:00
identity.aes
Update tests for entrypoints
2019-06-28 09:42:28 +02:00
include.aes
Update tests for entrypoints
2019-06-28 09:42:28 +02:00
included2.aes
Add include directive
2019-02-08 14:16:06 +01:00
included.aes
Add include directive
2019-02-08 14:16:06 +01:00
indent_fail.aes
Improve some parse errors
2019-09-03 16:51:04 +02:00
init_error.aes
First test work commit, don't touch
2018-12-22 01:23:40 +01:00
init_type_error.aes
Update tests for entrypoints
2019-06-28 09:42:28 +02:00
lc_record_bug.aes
Fix missing type annotation in list comprehension body
2019-12-12 09:39:13 +01:00
let_patterns.aes
Add list comprehension match to test case
2019-12-16 17:04:49 +01:00
lhs_matching.aes
GH-196 pattern matching lhs (#210)
2020-01-15 09:41:03 +01:00
list_comp_bad_shadow.aes
Added list comprehensions and standard List, Option, Func, Pair, and Triple library (#105)
2019-08-14 13:53:58 +02:00
list_comp_if_not_bool.aes
Added list comprehensions and standard List, Option, Func, Pair, and Triple library (#105)
2019-08-14 13:53:58 +02:00
list_comp_not_a_list.aes
Added list comprehensions and standard List, Option, Func, Pair, and Triple library (#105)
2019-08-14 13:53:58 +02:00
list_comp.aes
Use .. in list comprehension test
2019-08-27 14:00:23 +02:00
local_poly_fail.aes
Type variables mentioned in local functions should not be flexible
2019-08-30 14:22:31 +02:00
Makefile
First test work commit, don't touch
2018-12-22 01:23:40 +01:00
manual_stdlib_include.aes
Remove no_implicit_stdlib option
2019-08-27 14:10:40 +02:00
map_as_map_key.aes
Check that there are no maps in map keys already in type checker
2019-09-03 14:35:13 +02:00
map_of_maps.aes
First test work commit, don't touch
2018-12-22 01:23:40 +01:00
maps_benchmark.aes
First test work commit, don't touch
2018-12-22 01:23:40 +01:00
maps.aes
Updated tests
2019-07-22 13:56:45 +02:00
minimal_init.aes
First test work commit, don't touch
2018-12-22 01:23:40 +01:00
missing_event_type.aes
Nicer error for missing event type
2019-09-04 11:03:33 +02:00
missing_fields_in_record_expression.aes
Update tests for entrypoints
2019-06-28 09:42:28 +02:00
missing_state_type.aes
Update tests for entrypoints
2019-06-28 09:42:28 +02:00
modifier_checks.aes
Updated tests
2019-07-22 13:56:45 +02:00
multi_sig.aes
Fix error messages for some illegal constructions, fix absolute path includes (#251)
2020-03-30 14:52:16 +02:00
multiple_contracts.aes
Fail on function definitions in contracts other than the main contract
2019-10-01 14:13:54 +02:00
multiplication_server.aes
First test work commit, don't touch
2018-12-22 01:23:40 +01:00
name_clash.aes
Update tests for entrypoints
2019-06-28 09:42:28 +02:00
namespace_bug.aes
Update tests for entrypoints
2019-06-28 09:42:28 +02:00
namespace_clash.aes
Update tests for entrypoints
2019-06-28 09:42:28 +02:00
namespaces.aes
Clean up test case
2019-02-08 14:16:06 +01:00
nodeadcode.aes
Added list comprehensions and standard List, Option, Func, Pair, and Triple library (#105)
2019-08-14 13:53:58 +02:00
non_functional_entrypoint.aes
Fix error messages for some illegal constructions, fix absolute path includes (#251)
2020-03-30 14:52:16 +02:00
not_toplevel_contract.aes
Fix error messages for some illegal constructions, fix absolute path includes (#251)
2020-03-30 14:52:16 +02:00
not_toplevel_include.aes
Fix error messages for some illegal constructions, fix absolute path includes (#251)
2020-03-30 14:52:16 +02:00
not_toplevel_namespace.aes
Fix error messages for some illegal constructions, fix absolute path includes (#251)
2020-03-30 14:52:16 +02:00
operators.aes
Remove integer bit operations
2019-01-25 16:09:31 +01:00
oracles_err.aes
First test work commit, don't touch
2018-12-22 01:23:40 +01:00
oracles_gas.aes
Add require builtin
2019-06-14 10:27:07 +02:00
oracles_no_vm.aes
Updated tests
2019-07-22 13:56:45 +02:00
oracles.aes
Updated tests
2019-07-22 13:56:45 +02:00
payable.aes
Add payable modifier for contracts and entrypoints
2019-08-19 08:57:31 +02:00
polymorphism_test.aes
First test work commit, don't touch
2018-12-22 01:23:40 +01:00
primitive_map.aes
First test work commit, don't touch
2018-12-22 01:23:40 +01:00
qualified_constructor.aes
Handle qualified constructors in patterns
2019-12-12 09:34:26 +01:00
remote_call.aes
Updated tests
2019-07-22 13:56:45 +02:00
remote_gas_test.aes
First test work commit, don't touch
2018-12-22 01:23:40 +01:00
remote_state.aes
First test work commit, don't touch
2018-12-22 01:23:40 +01:00
remote_type_check.aes
First test work commit, don't touch
2018-12-22 01:23:40 +01:00
remote_value_on_err.aes
First test work commit, don't touch
2018-12-22 01:23:40 +01:00
simple_storage.aes
Update tests for entrypoints
2019-06-28 09:42:28 +02:00
simple.aes
Update tests for entrypoints
2019-06-28 09:42:28 +02:00
spend_test.aes
Update tests for entrypoints
2019-06-28 09:42:28 +02:00
stack.aes
GH-196 pattern matching lhs (#210)
2020-01-15 09:41:03 +01:00
state_handling.aes
Updated tests
2019-07-22 13:56:45 +02:00
stateful.aes
Updated tests
2019-07-22 13:56:45 +02:00
stdlib_include.aes
Remove no_implicit_stdlib option
2019-08-27 14:10:40 +02:00
strings.aes
Update tests for entrypoints
2019-06-28 09:42:28 +02:00
stub.aes
Add ACI calldata test
2019-08-05 14:33:53 +02:00
test.aes
Add checks for polymorphic/higher order oracles and higher order entrypoints (AEVM)
2019-08-30 11:18:20 +02:00
toplevel_let.aes
Fix error messages for some illegal constructions, fix absolute path includes (#251)
2020-03-30 14:52:16 +02:00
tuple_match.aes
Add checks for polymorphic/higher order oracles and higher order entrypoints (AEVM)
2019-08-30 11:18:20 +02:00
type_clash.aes
Update tests for entrypoints
2019-06-28 09:42:28 +02:00
type_errors.aes
Test case for function application source location
2019-09-14 12:12:55 +02:00
unapplied_builtins.aes
Tests for unapplied builtins
2019-09-04 10:45:43 +02:00
underscore_number_literals.aes
Allow underscore separators in number and bytes literals
2019-09-23 14:04:09 +02:00
upfront_charges.aes
First test work commit, don't touch
2018-12-22 01:23:40 +01:00
validation_test1.aes
Add function to validate byte code against source code
2019-11-15 14:22:44 +01:00
validation_test2.aes
Add function to validate byte code against source code
2019-11-15 14:22:44 +01:00
validation_test3.aes
Add function to validate byte code against source code
2019-11-15 14:22:44 +01:00
value_on_err.aes
First test work commit, don't touch
2018-12-22 01:23:40 +01:00
variant_types.aes
Update tests for entrypoints
2019-06-28 09:42:28 +02:00
vclose.aes
Improve some parse errors
2019-09-03 16:51:04 +02:00
voting.aes
Fix error messages for some illegal constructions, fix absolute path includes (#251)
2020-03-30 14:52:16 +02:00
vsemi.aes
Improve some parse errors
2019-09-03 16:51:04 +02:00
wrong_compiler_version.aes
add pragma to check compiler version
2019-09-27 17:31:10 +02:00