This repository was archived by the owner on Apr 19, 2023. It is now read-only.

delete NGSecurityManager#204

Open

dwightguth wants to merge 3 commits intofacebookarchive:mainfrom

runtimeverification:ngsecuritymanager

Commits on Mar 1, 2023

delete NGSecurityManager
Dwight Guth
committed
update examples that call System.exit
Dwight Guth
committed

Commits on Mar 3, 2023

remove remaining references to SecurityManager
Dwight Guth
committed