| commit | efdb47cc20cd335706e7547c8bc41b65a99ff341 | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tromey@adacore.com> | Wed Sep 03 11:26:28 2025 -0600 |
| committer | Tom Tromey <tromey@adacore.com> | Fri Sep 26 09:29:14 2025 -0600 |
| tree | 1351ffc49e3b5ecb3e3f61554756228accc11063 | |
| parent | ecac42af735c3fa6abe49ec7cf9ebcd34096b2ac [diff] |
Use exec_and_log in next.py Some code in next.py avoids exec_and_log due to its exception behavior. Now that exec_and_log always forwards exceptions, this is easily fixed.