M-Labs
/
nac3
8
0
Fork 5
Code Issues 87 Pull Requests 3 Releases Wiki Activity

add full-stack unit tests #165

New Issue
Open
opened 2022-01-13 13:11:45 +08:00 by sb10q · 1 comment
sb10q commented 2022-01-13 13:11:45 +08:00
Owner

Tests should compile specially-crafted bits of Python code that hit a maximum number of corner cases with NAC3, run the output with the LLVM JIT or bitcode interpreter, and check the results for correctness against the output of CPython running the same code.
We may invoke CPython or just hardcode the correct results manually, whatever is simpler.

Tests should compile specially-crafted bits of Python code that hit a maximum number of corner cases with NAC3, run the output with the LLVM JIT or bitcode interpreter, and check the results for correctness against the output of CPython running the same code. We may invoke CPython or just hardcode the correct results manually, whatever is simpler.
sb10q commented 2022-01-22 21:11:57 +08:00
Poster
Owner

We can also load nac3artiq, compile in host mode, and load the result via ctypes.
Supporting asserts would be useful for writing tests: #89

NAC3 code calling into Python would be problematic as ctypes does not allow definining symbols to be used by the library (as usual things that have to do with dynamic linking on Linux kinda suck). A workaround would be a small C or Rust library that defines the symbols and then calls callbacks defined by Python.

We can also load nac3artiq, compile in host mode, and load the result via ctypes. Supporting asserts would be useful for writing tests: https://git.m-labs.hk/M-Labs/nac3/issues/89 NAC3 code calling into Python would be problematic as ctypes does not allow definining symbols to be used by the library (as usual things that have to do with dynamic linking on Linux kinda suck). A workaround would be a small C or Rust library that defines the symbols and then calls callbacks defined by Python.
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
enhance/issue-149-ndarray/numpy-minmax
master
enhance/cargo-test-standalone-demos
issue-136
rpc-obj-as-param
no_init
iterators
escape-analysis
refactor_anto
Labels
Clear labels   
UROP0622
   
future-extension
   
high-priority
   
low-priority
No Label
UROP0622
future-extension
high-priority
low-priority
Milestone
Clear milestone
No items
No Milestone
Assignees
Clear assignees
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: M-Labs/nac3#165
There is no content yet.
Delete Branch "%!s(<nil>)"

Deleting a branch is permanent. Although the deleted branch may exist for a short time before cleaning up, in most cases it CANNOT be undone. Continue?