Merge pull request #1434 from GaloisInc/update-rpc-docs

Update RPC docs to match server output
GaloisInc · Aug 27, 2021 · 2399172 · 2399172
2 parents b502358 + c454c77
commit 2399172
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/saw-remote-api/docs/SAW.rst b/saw-remote-api/docs/SAW.rst
@@ -402,7 +402,7 @@ Parameter fields
 
 
 ``option``
-  The option to set and its accompanying value (i.e., true or false); one of the following:``lax arithmetic``, ``lax pointer ordering``, ``SMT array memory model``, or ``What4 hash consing``
+  The option to set and its accompanying value (i.e., true or false); one of the following:``lax arithmetic``, ``lax pointer ordering``, ``debug intrinsics``, ``SMT array memory model``, or ``What4 hash consing``