Skip to content

Commit

Permalink
cil_conditional_statements.md: fix expr definition
Browse files Browse the repository at this point in the history
expr "(expr (tunable_id tunable_id))" does not work but "(expr
tunable_id tunable_id)" does work

for example, this works

(tunable test1)
(tunable test2)
(tunableif (or test1 test2)
	   (true
	    (allow a b (c (d)))))

but this does not work:

(tunable test1)
(tunable test2)
(tunableif (or (test1 test2))
	   (true
	    (allow a b (c (d)))))

Signed-off-by: Dominick Grift <dominick.grift@defensec.nl>
  • Loading branch information
Dominick Grift authored and jwcart2 committed Mar 29, 2021
1 parent d155b41 commit 1e4e7f6
Showing 1 changed file with 12 additions and 12 deletions.
24 changes: 12 additions & 12 deletions secilc/docs/cil_conditional_statements.md
Expand Up @@ -78,12 +78,12 @@ Contains the run time conditional statements that are instantiated in the binary
<tr class="odd">
<td align="left"><p><code>expr</code></p></td>
<td align="left"><p>Zero or more <code>expr</code>'s, the valid operators and syntax are:</p>
<p><code> (and (boolean_id boolean_id))</code></p>
<p><code> (or (boolean_id boolean_id))</code></p>
<p><code> (xor (boolean_id boolean_id))</code></p>
<p><code> (eq (boolean_id boolean_id))</code></p>
<p><code> (neq (boolean_id boolean_id))</code></p>
<p><code> (not (boolean_id))</code></p></td>
<p><code> (and boolean_id boolean_id)</code></p>
<p><code> (or boolean_id boolean_id)</code></p>
<p><code> (xor boolean_id boolean_id)</code></p>
<p><code> (eq boolean_id boolean_id)</code></p>
<p><code> (neq boolean_id boolean_id)</code></p>
<p><code> (not boolean_id)</code></p></td>
</tr>
<tr class="even">
<td align="left"><p><code>true</code></p></td>
Expand Down Expand Up @@ -196,12 +196,12 @@ Compile time conditional statement that may or may not add CIL statements to be
<tr class="odd">
<td align="left"><p><code>expr</code></p></td>
<td align="left"><p>Zero or more <code>expr</code>'s, the valid operators and syntax are:</p>
<p><code> (and (tunable_id tunable_id))</code></p>
<p><code> (or (tunable_id tunable_id))</code></p>
<p><code> (xor (tunable_id tunable_id))</code></p>
<p><code> (eq (tunable_id tunable_id))</code></p>
<p><code> (neq (tunable_id tunable_id))</code></p>
<p><code> (not (tunable_id))</code></p></td>
<p><code> (and tunable_id tunable_id)</code></p>
<p><code> (or tunable_id tunable_id)</code></p>
<p><code> (xor tunable_id tunable_id)</code></p>
<p><code> (eq tunable_id tunable_id)</code></p>
<p><code> (neq tunable_id tunable_id)</code></p>
<p><code> (not tunable_id)</code></p></td>
</tr>
<tr class="even">
<td align="left"><p><code>true</code></p></td>
Expand Down

0 comments on commit 1e4e7f6

Please sign in to comment.