nx_probe_dbgtiny.nx source
↩ module page · 10 lines · 418 B
1// nx_probe_dbgtiny.nx -- smallest possible -g witness: no imports, two functions.
2// Kept import-free ON PURPOSE so the emitted .s is a few KB rather than 80 KB, which
3// matters because the compiler traces every function name to stderr and nx_job_run
4// merges the streams -- a big probe buries the assembly under its own trace.
5func dbgtiny_a() -> i64 {
6 return 1
7}
8
9func main() -> i64 {
10 return dbgtiny_a()
11}