| Age | Commit message (Collapse) | Author |
|
|
|
Just as the rest of generator tests, which aren't yet supoorted for
native.
|
|
|
|
And provide an expected-output file because these tests have a different
behaviour under CPython.
|
|
Addresses issue #1998.
|
|
|
|
|
|
|
|
|
|
Addresses issue #1965.
|
|
|
|
Includes extensive test cases to catch hopefully all cases where
buffer might overflow.
|
|
|
|
|
|
|
|
|
|
|
|
All tests in basics/ directory can now run and pass using 64-bit unix
port with only a 16k heap (./run-tests --heapsize 16k). Tests in this
directory should remain small so they can be used for ports with a
small heap.
|
|
This allows you to specify the heapsize that unix will use when running
the test suite, eg: ./run-tests --heapsize 16k
|
|
|
|
Addresses issue #1898.
|
|
Now, all output has newlines converted to \n, regardless of port or
platform.
|
|
|
|
|
|
NameError may either include offending name or not. Unfortunately, this
change makes test float-dependent. And using integer division leads to
different error message than CPython.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
- As described in the #1850.
- Add cmdline tests.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
This allows you to pass a number (being an address) to a viper function
that expects a pointer, and also allows casting of integers to pointers
within viper functions.
This was actually the original behaviour, but it regressed due to native
type identifiers being promoted to 4 bits in width.
|