MagicMan issues

Repositories
Issues
Comments

Results 2 issues of


                                            MagicMan

Missing feature: surround selected text with curly brackets

# Missing feature Currently when one selects text and presses round or square brackets it surrounds the selected text. Yet, this behavior is missing for curly brackets. This would be...

SIGSEGV (Address Boundary Error) When Using `--goto-contractor`

## Description When running ESBMC on the `oligotm.c` file from the Primer3 source code, the process terminates with a SIGSEGV (Address boundary error). This occurs after multiple warnings about failing...