mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-30 04:15:52 +00:00
Code Activity

Don't reenable verific, move to c_cpp_properties.json in .vscode

Browse source
This commit is contained in:
Akash Levy 2024-05-24 01:49:54 -07:00
parent 22bdf4035a
commit 60ce37c2bd
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
frontends/verific/verific.cc
View file

@ -16,7 +16,6 @@
* OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
*
*/
#define YOSYS_ENABLE_VERIFIC
#include "kernel/yosys.h"
#include "kernel/sigtools.h"
#include "kernel/celltypes.h"