From 4327434d079c0d76a501d4050e365afcbfbb329e Mon Sep 17 00:00:00 2001
From: yoni206 <yoni206@gmail.com>
Date: Tue, 28 Apr 2020 09:37:08 -0700
Subject: [PATCH] Adding bit-vector NOT operation to the opcodes.

---
 test/formal/opcodes.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/test/formal/opcodes.py b/test/formal/opcodes.py
index e65ecef29..589bd9520 100644
--- a/test/formal/opcodes.py
+++ b/test/formal/opcodes.py
@@ -45,6 +45,9 @@ def AND(x, y):
 def OR(x, y):
 	return x | y
 
+def NOT(x):
+	return ~(x)
+
 def SHL(x, y):
 	return y << x