File tree Expand file tree Collapse file tree 1 file changed +6
-2
lines changed
Expand file tree Collapse file tree 1 file changed +6
-2
lines changed Original file line number Diff line number Diff line change @@ -250,11 +250,15 @@ registerQueryDocumentation('happens-before', {
250250 functionName : executeSearch . name ,
251251 functionFile : '../queries/catalog/happens-before-query/happens-before-query-executor.ts' ,
252252 buildExplanation : async ( shell : RShell ) => {
253- const exampleCode = 'x <- 1;y <- 2' ;
253+ const exampleCode = 'x <- 1\ny <- 2' ;
254254 return `
255255With this query you can analyze the control flow graph:
256256
257- Using the example code \`${ exampleCode } \`, the following query returns that the first assignment happens always before the other:
257+ Using the example code:
258+
259+ ${ codeBlock ( 'r' , exampleCode ) }
260+
261+ the following query returns that the first assignment happens always before the other:
258262${
259263 await showQuery ( shell , exampleCode , [ {
260264 type : 'happens-before' ,
You can’t perform that action at this time.
0 commit comments