diff options
| author | Jason Gross | 2014-04-05 16:10:47 -0400 |
|---|---|---|
| committer | Pierre Boutillier | 2014-04-10 14:42:55 +0200 |
| commit | d464e101f4a26d26cc60d9edaa430cb131f85065 (patch) | |
| tree | a072c358ad2627c24acf2d087d784382d8155f00 /kernel/nativecode.mli | |
| parent | f2b60f5911d7e881ff369663a7ed1f1bddfddb1d (diff) | |
Test case for bug 3262
Closed in f65fa9de8a4c9c12d933188a755b51508bd51921
I used [Timeout 2 Fail] to test the difference between immediate failure
and stack overflow. Hopefully this is robust enough.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions