about summary refs log tree commit diff stats
path: root/js/games/nluqo.github.io/~bh/61a-pages/Lectures/3.5/index.html?C=N;O=A
blob: ec3d559576483b763d72260f6c388ce80f77bbbf (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">
<html>
 <head>
  <title>Index of /~bh/61a-pages/Lectures/3.5</title>
 </head>
 <body>
<h1>Index of /~bh/61a-pages/Lectures/3.5</h1>
  <table>
   <tr><th valign="top"><img src="../../../../icons/blank.gif" alt="[ICO]"></th><th><a href="index.html?C=N%3BO=D">Name</a></th><th><a href="index.html?C=M%3BO=A">Last modified</a></th><th><a href="index.html?C=S%3BO=A">Size</a></th><th><a href="index.html?C=D%3BO=A">Description</a></th></tr>
   <tr><th colspan="5"><hr></th></tr>
<tr><td valign="top"><img src="../../../../icons/back.gif" alt="[PARENTDIR]"></td><td><a href="../../Lectures">Parent Directory</a>       </td><td>&nbsp;</td><td align="right">  - </td><td>&nbsp;</td></tr>
<tr><td valign="top"><img src="../../../../icons/unknown.gif" alt="[   ]"></td><td><a href="fib.scm">fib.scm</a>                </td><td align="right">2003-04-25 12:52  </td><td align="right">337 </td><td>&nbsp;</td></tr>
<tr><td valign="top"><img src="../../../../icons/unknown.gif" alt="[   ]"></td><td><a href="https://people.eecs.berkeley.edu/~bh/61a-pages/Lectures/3.5/ints-from">ints-from</a>              </td><td align="right">2003-04-25 12:52  </td><td align="right"> 76 </td><td>&nbsp;</td></tr>
<tr><td valign="top"><img src="../../../../icons/unknown.gif" alt="[   ]"></td><td><a href="prime0.scm">prime0.scm</a>             </td><td align="right">2003-04-25 12:52  </td><td align="right">166 </td><td>&nbsp;</td></tr>
<tr><td valign="top"><img src="../../../../icons/unknown.gif" alt="[   ]"></td><td><a href="prime1.scm">prime1.scm</a>             </td><td align="right">2003-04-25 12:52  </td><td align="right">445 </td><td>&nbsp;</td></tr>
<tr><td valign="top"><img src="../../../../icons/unknown.gif" alt="[   ]"></td><td><a href="prime2.scm">prime2.scm</a>             </td><td align="right">2003-04-25 12:52  </td><td align="right">640 </td><td>&nbsp;</td></tr>
<tr><td valign="top"><img src="../../../../icons/unknown.gif" alt="[   ]"></td><td><a href="show-stream.scm">show-stream.scm</a>        </td><td align="right">2003-04-25 12:52  </td><td align="right">390 </td><td>&nbsp;</td></tr>
<tr><td valign="top"><img src="../../../../icons/unknown.gif" alt="[   ]"></td><td><a href="sieve.scm">sieve.scm</a>              </td><td align="right">2003-04-25 12:52  </td><td align="right">268 </td><td>&nbsp;</td></tr>
<tr><td valign="top"><img src="../../../../icons/unknown.gif" alt="[   ]"></td><td><a href="https://people.eecs.berkeley.edu/~bh/61a-pages/Lectures/3.5/stream-memo.scm">stream-memo.scm</a>        </td><td align="right">2003-04-25 12:52  </td><td align="right">1.2K</td><td>&nbsp;</td></tr>
<tr><td valign="top"><img src="../../../../icons/unknown.gif" alt="[   ]"></td><td><a href="stream-pack.scm">stream-pack.scm</a>        </td><td align="right">2003-04-25 12:52  </td><td align="right">1.2K</td><td>&nbsp;</td></tr>
<tr><td valign="top"><img src="../../../../icons/unknown.gif" alt="[   ]"></td><td><a href="stream0.scm">stream0.scm</a>            </td><td align="right">2003-04-25 12:52  </td><td align="right">171 </td><td>&nbsp;</td></tr>
<tr><td valign="top"><img src="../../../../icons/unknown.gif" alt="[   ]"></td><td><a href="stream1.scm">stream1.scm</a>            </td><td align="right">2003-04-25 12:52  </td><td align="right">462 </td><td>&nbsp;</td></tr>
<tr><td valign="top"><img src="../../../../icons/unknown.gif" alt="[   ]"></td><td><a href="stream2.scm">stream2.scm</a>            </td><td align="right">2003-04-25 12:52  </td><td align="right">508 </td><td>&nbsp;</td></tr>
<tr><td valign="top"><img src="../../../../icons/unknown.gif" alt="[   ]"></td><td><a href="streamstate.scm">streamstate.scm</a>        </td><td align="right">2003-04-25 12:52  </td><td align="right">2.2K</td><td>&nbsp;</td></tr>
<tr><td valign="top"><img src="../../../../icons/text.gif" alt="[TXT]"></td><td><a href="https://people.eecs.berkeley.edu/~bh/61a-pages/Lectures/3.5/why-streams">why-streams</a>            </td><td align="right">2003-04-25 12:52  </td><td align="right">381 </td><td>&nbsp;</td></tr>
   <tr><th colspan="5"><hr></th></tr>
</table>
</body></html>
id='n432' href='#n432'>432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 907 908 909 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 962 963 964 965 966 967 968 969 970 971 972 973 974 975 976 977 978 979 980 981 982 983 984 985 986 987 988 989 990 991 992 993 994
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<title>Mu - 050scenario.cc</title>
<meta name="Generator" content="Vim/7.4">
<meta name="plugin-version" content="vim7.4_v2">
<meta name="syntax" content="cpp">
<meta name="settings" content="number_lines,use_css,pre_wrap,no_foldcolumn,expand_tabs,line_ids,prevent_copy=">
<meta name="colorscheme" content="minimal">
<style type="text/css">
<!--
pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
a { color:#eeeeee; text-decoration: none; }
a:hover { text-decoration: underline; }
* { font-size: 12pt; font-size: 1em; }
.SalientComment { color: #00ffff; }
.CommentedCode { color: #6c6c6c; }
.muRecipe { color: #ff8700; }
.muScenario { color: #00af00; }
.LineNr { color: #444444; }
.cSpecial { color: #008000; }
.traceAbsent { color: #c00000; }
.Delimiter { color: #800080; }
.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
.traceContains { color: #008000; }
.Conceal { color: #4e4e4e; }
.Comment { color: #9090ff; }
.Comment a { color:#0000ee; text-decoration:underline; }
.Constant { color: #00a0a0; }
.Special { color: #c00000; }
.Identifier { color: #c0a020; }
-->
</style>

<script type='text/javascript'>
<!--

/* function to open any folds containing a jumped-to line before jumping to it */
function JumpToLine()
{
  var lineNum;
  lineNum = window.location.hash;
  lineNum = lineNum.substr(1); /* strip off '#' */

  if (lineNum.indexOf('L') == -1) {
    lineNum = 'L'+lineNum;
  }
  lineElem = document.getElementById(lineNum);
  /* Always jump to new location even if the line was hidden inside a fold, or
   * we corrected the raw number to a line ID.
   */
  if (lineElem) {
    lineElem.scrollIntoView(true);
  }
  return true;
}
if ('onhashchange' in window) {
  window.onhashchange = JumpToLine;
}

-->
</script>
</head>
<body onload='JumpToLine();'>
<pre id='vimCodeElement'>
<span id="L1" class="LineNr">  1 </span><span class="Comment">//: Mu scenarios. This will get long, but these are the tests we want to</span>
<span id="L2" class="LineNr">  2 </span><span class="Comment">//: support in this layer.</span>
<span id="L3" class="LineNr">  3 </span>
<span id="L4" class="LineNr">  4 </span><span class="Comment">//: We avoid raw numeric locations in Mu -- except in scenarios, where they're</span>
<span id="L5" class="LineNr">  5 </span><span class="Comment">//: handy to check the values of specific variables</span>
<span id="L6" class="LineNr">  6 </span><span class="Delimiter">:(scenarios run_mu_scenario)</span>
<span id="L7" class="LineNr">  7 </span><span class="Delimiter">:(scenario scenario_block)</span>
<span id="L8" class="LineNr">  8 </span><span class="muScenario"><a href='050scenario.cc.html#L57'>scenario</a></span> foo [
<span id="L9" class="LineNr">  9 </span>  run [
<span id="L10" class="LineNr"> 10 </span>  <span class="Conceal">¦</span> <span class="Constant">1</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">13</span>
<span id="L11" class="LineNr"> 11 </span>  ]
<span id="L12" class="LineNr"> 12 </span>  memory-should-contain [
<span id="L13" class="LineNr"> 13 </span>  <span class="Conceal">¦</span> <span class="Constant">1</span><span class="Special"> &lt;- </span><span class="Constant">13</span>
<span id="L14" class="LineNr"> 14 </span>  ]
<span id="L15" class="LineNr"> 15 </span>]
<span id="L16" class="LineNr"> 16 </span><span class="Comment"># checks are inside scenario</span>
<span id="L17" class="LineNr"> 17 </span>
<span id="L18" class="LineNr"> 18 </span><span class="Delimiter">:(scenario scenario_multiple_blocks)</span>
<span id="L19" class="LineNr"> 19 </span><span class="muScenario"><a href='050scenario.cc.html#L57'>scenario</a></span> foo [
<span id="L20" class="LineNr"> 20 </span>  run [
<span id="L21" class="LineNr"> 21 </span>  <span class="Conceal">¦</span> <span class="Constant">1</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">13</span>
<span id="L22" class="LineNr"> 22 </span>  ]
<span id="L23" class="LineNr"> 23 </span>  memory-should-contain [
<span id="L24" class="LineNr"> 24 </span>  <span class="Conceal">¦</span> <span class="Constant">1</span><span class="Special"> &lt;- </span><span class="Constant">13</span>
<span id="L25" class="LineNr"> 25 </span>  ]
<span id="L26" class="LineNr"> 26 </span>  run [
<span id="L27" class="LineNr"> 27 </span>  <span class="Conceal">¦</span> <span class="Constant">2</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">13</span>
<span id="L28" class="LineNr"> 28 </span>  ]
<span id="L29" class="LineNr"> 29 </span>  memory-should-contain [
<span id="L30" class="LineNr"> 30 </span>  <span class="Conceal">¦</span> <span class="Constant">1</span><span class="Special"> &lt;- </span><span class="Constant">13</span>
<span id="L31" class="LineNr"> 31 </span>  <span class="Conceal">¦</span> <span class="Constant">2</span><span class="Special"> &lt;- </span><span class="Constant">13</span>
<span id="L32" class="LineNr"> 32 </span>  ]
<span id="L33" class="LineNr"> 33 </span>]
<span id="L34" class="LineNr"> 34 </span><span class="Comment"># checks are inside scenario</span>
<span id="L35" class="LineNr"> 35 </span>
<span id="L36" class="LineNr"> 36 </span><span class="Delimiter">:(scenario scenario_check_memory_and_trace)</span>
<span id="L37" class="LineNr"> 37 </span><span class="muScenario"><a href='050scenario.cc.html#L57'>scenario</a></span> foo [
<span id="L38" class="LineNr"> 38 </span>  run [
<span id="L39" class="LineNr"> 39 </span>  <span class="Conceal">¦</span> <span class="Constant">1</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">13</span>
<span id="L40" class="LineNr"> 40 </span>  <span class="Conceal">¦</span> <a href='003trace.cc.html#L161'>trace</a> <span class="Constant">1</span><span class="Delimiter">,</span> [a]<span class="Delimiter">,</span> [a b c]
<span id="L41" class="LineNr"> 41 </span>  ]
<span id="L42" class="LineNr"> 42 </span>  memory-should-contain [
<span id="L43" class="LineNr"> 43 </span>  <span class="Conceal">¦</span> <span class="Constant">1</span><span class="Special"> &lt;- </span><span class="Constant">13</span>
<span id="L44" class="LineNr"> 44 </span>  ]
<span id="L45" class="LineNr"> 45 </span>  trace-should-contain [
<span id="L46" class="LineNr"> 46 </span>  <span class="Conceal">¦</span> <span class="Normal">a</span>: a b c
<span id="L47" class="LineNr"> 47 </span>  ]
<span id="L48" class="LineNr"> 48 </span>  trace-should-<span class="Normal">not</span>-contain [
<span id="L49" class="LineNr"> 49 </span>  <span class="Conceal">¦</span> <span class="Normal">a</span>: x y z
<span id="L50" class="LineNr"> 50 </span>  ]
<span id="L51" class="LineNr"> 51 </span>]
<span id="L52" class="LineNr"> 52 </span><span class="Comment"># checks are inside scenario</span>
<span id="L53" class="LineNr"> 53 </span>
<span id="L54" class="LineNr"> 54 </span><span class="SalientComment">//:: Core data structure</span>
<span id="L55" class="LineNr"> 55 </span>
<span id="L56" class="LineNr"> 56 </span><span class="Delimiter">:(before &quot;End Types&quot;)</span>
<span id="L57" class="LineNr"> 57 </span><span class="Normal">struct</span> <a href='050scenario.cc.html#L57'>scenario</a> <span class="Delimiter">{</span>
<span id="L58" class="LineNr"> 58 </span>  string name<span class="Delimiter">;</span>
<span id="L59" class="LineNr"> 59 </span>  string to_run<span class="Delimiter">;</span>
<span id="L60" class="LineNr"> 60 </span>  <span class="Normal">void</span> <a href='050scenario.cc.html#L60'>clear</a><span class="Delimiter">()</span> <span class="Delimiter">{</span>
<span id="L61" class="LineNr"> 61 </span>  <span class="Conceal">¦</span> name<span class="Delimiter">.</span><a href='050scenario.cc.html#L60'>clear</a><span class="Delimiter">();</span>
<span id="L62" class="LineNr"> 62 </span>  <span class="Conceal">¦</span> to_run<span class="Delimiter">.</span><a href='050scenario.cc.html#L60'>clear</a><span class="Delimiter">();</span>
<span id="L63" class="LineNr"> 63 </span>  <span class="Delimiter">}</span>
<span id="L64" class="LineNr"> 64 </span><span class="Delimiter">};</span>
<span id="L65" class="LineNr"> 65 </span>
<span id="L66" class="LineNr"> 66 </span><span class="Delimiter">:(before &quot;End Globals&quot;)</span>
<span id="L67" class="LineNr"> 67 </span>vector&lt;scenario&gt; Scenarios<span class="Delimiter">,</span> Scenarios_snapshot<span class="Delimiter">;</span>
<span id="L68" class="LineNr"> 68 </span>set&lt;string&gt; Scenario_names<span class="Delimiter">,</span> Scenario_names_snapshot<span class="Delimiter">;</span>
<span id="L69" class="LineNr"> 69 </span><span class="Delimiter">:(before &quot;End save_snapshots&quot;)</span>
<span id="L70" class="LineNr"> 70 </span>Scenarios_snapshot = Scenarios<span class="Delimiter">;</span>
<span id="L71" class="LineNr"> 71 </span>Scenario_names_snapshot = Scenario_names<span class="Delimiter">;</span>
<span id="L72" class="LineNr"> 72 </span><span class="Delimiter">:(before &quot;End restore_snapshots&quot;)</span>
<span id="L73" class="LineNr"> 73 </span>Scenarios = Scenarios_snapshot<span class="Delimiter">;</span>
<span id="L74" class="LineNr"> 74 </span>Scenario_names = Scenario_names_snapshot<span class="Delimiter">;</span>
<span id="L75" class="LineNr"> 75 </span>
<span id="L76" class="LineNr"> 76 </span><span class="SalientComment">//:: Parse the 'scenario' form.</span>
<span id="L77" class="LineNr"> 77 </span><span class="Comment">//: Simply store the text of the scenario.</span>
<span id="L78" class="LineNr"> 78 </span>
<span id="L79" class="LineNr"> 79 </span><span class="Delimiter">:(before &quot;End Command Handlers&quot;)</span>
<span id="L80" class="LineNr"> 80 </span><span class="Normal">else</span> <span class="Normal">if</span> <span class="Delimiter">(</span>command == <span class="Constant">&quot;scenario&quot;</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L81" class="LineNr"> 81 </span>  <a href='050scenario.cc.html#L57'>scenario</a> result = <a href='050scenario.cc.html#L91'>parse_scenario</a><span class="Delimiter">(</span>in<span class="Delimiter">);</span>
<span id="L82" class="LineNr"> 82 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!result<span class="Delimiter">.</span>name<span class="Delimiter">.</span>empty<span class="Delimiter">())</span>
<span id="L83" class="LineNr"> 83 </span>  <span class="Conceal">¦</span> Scenarios<span class="Delimiter">.</span>push_back<span class="Delimiter">(</span>result<span class="Delimiter">);</span>
<span id="L84" class="LineNr"> 84 </span><span class="Delimiter">}</span>
<span id="L85" class="LineNr"> 85 </span><span class="Normal">else</span> <span class="Normal">if</span> <span class="Delimiter">(</span>command == <span class="Constant">&quot;pending-scenario&quot;</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L86" class="LineNr"> 86 </span>  <span class="Comment">// for temporary use only</span>
<span id="L87" class="LineNr"> 87 </span>  <a href='050scenario.cc.html#L91'>parse_scenario</a><span class="Delimiter">(</span>in<span class="Delimiter">);</span>  <span class="Comment">// discard</span>
<span id="L88" class="LineNr"> 88 </span><span class="Delimiter">}</span>
<span id="L89" class="LineNr"> 89 </span>
<span id="L90" class="LineNr"> 90 </span><span class="Delimiter">:(code)</span>
<span id="L91" class="LineNr"> 91 </span><span class="muScenario"><a href='050scenario.cc.html#L57'>scenario</a></span> <a href='050scenario.cc.html#L91'>parse_scenario</a><span class="Delimiter">(</span>istream&amp; in<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L92" class="LineNr"> 92 </span>  <a href='050scenario.cc.html#L57'>scenario</a> result<span class="Delimiter">;</span>
<span id="L93" class="LineNr"> 93 </span>  result<span class="Delimiter">.</span>name = <a href='011load.cc.html#L167'>next_word</a><span class="Delimiter">(</span>in<span class="Delimiter">);</span>
<span id="L94" class="LineNr"> 94 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>contains_key<span class="Delimiter">(</span>Scenario_names<span class="Delimiter">,</span> result<span class="Delimiter">.</span>name<span class="Delimiter">))</span>
<span id="L95" class="LineNr"> 95 </span>  <span class="Conceal">¦</span> <a href='003trace.cc.html#L168'>raise</a> &lt;&lt; <span class="Constant">&quot;duplicate <a href='050scenario.cc.html#L57'>scenario</a> name: '&quot;</span> &lt;&lt; result<span class="Delimiter">.</span>name &lt;&lt; <span class="Constant">&quot;'</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>
<span id="L96" class="LineNr"> 96 </span>  Scenario_names<span class="Delimiter">.</span>insert<span class="Delimiter">(</span>result<span class="Delimiter">.</span>name<span class="Delimiter">);</span>
<span id="L97" class="LineNr"> 97 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>result<span class="Delimiter">.</span>name<span class="Delimiter">.</span>empty<span class="Delimiter">())</span> <span class="Delimiter">{</span>
<span id="L98" class="LineNr"> 98 </span>  <span class="Conceal">¦</span> assert<span class="Delimiter">(</span>!has_data<span class="Delimiter">(</span>in<span class="Delimiter">));</span>
<span id="L99" class="LineNr"> 99 </span>  <span class="Conceal">¦</span> <a href='003trace.cc.html#L168'>raise</a> &lt;&lt; <span class="Constant">&quot;incomplete <a href='050scenario.cc.html#L57'>scenario</a> at <a href='003trace.cc.html#L197'>end</a> of file</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>
<span id="L100" class="LineNr">100 </span>  <span class="Conceal">¦</span> <span class="Identifier">return</span> result<span class="Delimiter">;</span>
<span id="L101" class="LineNr">101 </span>  <span class="Delimiter">}</span>
<span id="L102" class="LineNr">102 </span>  <a href='011load.cc.html#L209'>skip_whitespace_and_comments</a><span class="Delimiter">(</span>in<span class="Delimiter">);</span>
<span id="L103" class="LineNr">103 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>in<span class="Delimiter">.</span>peek<span class="Delimiter">()</span> != <span class="Constant">'['</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L104" class="LineNr">104 </span>  <span class="Conceal">¦</span> <a href='003trace.cc.html#L168'>raise</a> &lt;&lt; <span class="Constant">&quot;Expected '[' after <a href='050scenario.cc.html#L57'>scenario</a> '&quot;</span> &lt;&lt; result<span class="Delimiter">.</span>name &lt;&lt; <span class="Constant">&quot;'</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>
<span id="L105" class="LineNr">105 </span>  <span class="Conceal">¦</span> exit<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">);</span>
<span id="L106" class="LineNr">106 </span>  <span class="Delimiter">}</span>
<span id="L107" class="LineNr">107 </span>  <span class="Comment">// scenarios are take special 'code' strings so we need to ignore brackets</span>
<span id="L108" class="LineNr">108 </span>  <span class="Comment">// inside comments</span>
<span id="L109" class="LineNr">109 </span>  result<span class="Delimiter">.</span>to_run = <a href='014literal_string.cc.html#L33'>slurp_quoted</a><span class="Delimiter">(</span>in<span class="Delimiter">);</span>
<span id="L110" class="LineNr">110 </span>  <span class="Comment">// delete [] delimiters</span>
<span id="L111" class="LineNr">111 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!starts_with<span class="Delimiter">(</span>result<span class="Delimiter">.</span>to_run<span class="Delimiter">,</span> <span class="Constant">&quot;[&quot;</span><span class="Delimiter">))</span> <span class="Delimiter">{</span>
<span id="L112" class="LineNr">112 </span>  <span class="Conceal">¦</span> <a href='003trace.cc.html#L168'>raise</a> &lt;&lt; <span class="Constant">&quot;scenario &quot;</span> &lt;&lt; result<span class="Delimiter">.</span>name &lt;&lt; <span class="Constant">&quot; should start with '['</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>
<span id="L113" class="LineNr">113 </span>  <span class="Conceal">¦</span> result<span class="Delimiter">.</span><a href='050scenario.cc.html#L60'>clear</a><span class="Delimiter">();</span>
<span id="L114" class="LineNr">114 </span>  <span class="Conceal">¦</span> <span class="Identifier">return</span> result<span class="Delimiter">;</span>
<span id="L115" class="LineNr">115 </span>  <span class="Delimiter">}</span>
<span id="L116" class="LineNr">116 </span>  result<span class="Delimiter">.</span>to_run<span class="Delimiter">.</span>erase<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">,</span> <span class="Constant">1</span><span class="Delimiter">);</span>
<span id="L117" class="LineNr">117 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>result<span class="Delimiter">.</span>to_run<span class="Delimiter">.</span>at<span class="Delimiter">(</span><a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span>result<span class="Delimiter">.</span>to_run<span class="Delimiter">)</span>-<span class="Constant">1</span><span class="Delimiter">)</span> != <span class="Constant">']'</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L118" class="LineNr">118 </span>  <span class="Conceal">¦</span> <a href='003trace.cc.html#L168'>raise</a> &lt;&lt; <span class="Constant">&quot;scenario &quot;</span> &lt;&lt; result<span class="Delimiter">.</span>name &lt;&lt; <span class="Constant">&quot; has an unbalanced '['</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>
<span id="L119" class="LineNr">119 </span>  <span class="Conceal">¦</span> result<span class="Delimiter">.</span><a href='050scenario.cc.html#L60'>clear</a><span class="Delimiter">();</span>
<span id="L120" class="LineNr">120 </span>  <span class="Conceal">¦</span> <span class="Identifier">return</span> result<span class="Delimiter">;</span>
<span id="L121" class="LineNr">121 </span>  <span class="Delimiter">}</span>
<span id="L122" class="LineNr">122 </span>  result<span class="Delimiter">.</span>to_run<span class="Delimiter">.</span>erase<span class="Delimiter">(</span><a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span>result<span class="Delimiter">.</span>to_run<span class="Delimiter">)</span>-<span class="Constant">1</span><span class="Delimiter">);</span>
<span id="L123" class="LineNr">123 </span>  <span class="Identifier">return</span> result<span class="Delimiter">;</span>
<span id="L124" class="LineNr">124 </span><span class="Delimiter">}</span>
<span id="L125" class="LineNr">125 </span>
<span id="L126" class="LineNr">126 </span><span class="Delimiter">:(scenario read_scenario_with_bracket_in_comment)</span>
<span id="L127" class="LineNr">127 </span><span class="muScenario"><a href='050scenario.cc.html#L57'>scenario</a></span> foo [
<span id="L128" class="LineNr">128 </span>  <span class="Comment"># ']' in comment</span>
<span id="L129" class="LineNr">129 </span>  <span class="Constant">1</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">0</span>
<span id="L130" class="LineNr">130 </span>]
<span id="L131" class="LineNr">131 </span><span class="traceContains">+run: {1: &quot;number&quot;} &lt;- copy {0: &quot;literal&quot;}</span>
<span id="L132" class="LineNr">132 </span>
<span id="L133" class="LineNr">133 </span><span class="Delimiter">:(scenario read_scenario_with_bracket_in_comment_in_nested_string)</span>
<span id="L134" class="LineNr">134 </span><span class="muScenario"><a href='050scenario.cc.html#L57'>scenario</a></span> foo [
<span id="L135" class="LineNr">135 </span>  <span class="Constant">1</span>:text<span class="Special"> &lt;- </span><span class="Normal">new</span> [<span class="Comment"># not a comment]</span>
<span id="L136" class="LineNr">136 </span>]
<span id="L137" class="LineNr">137 </span><span class="traceContains">+run: {1: (&quot;address&quot; &quot;array&quot; &quot;character&quot;)} &lt;- new {&quot;# not a comment&quot;: &quot;literal-string&quot;}</span>
<span id="L138" class="LineNr">138 </span>
<span id="L139" class="LineNr">139 </span><span class="Delimiter">:(scenarios run)</span>
<span id="L140" class="LineNr">140 </span><span class="Delimiter">:(scenario duplicate_scenarios)</span>
<span id="L141" class="LineNr">141 </span><span class="Special">% Hide_errors = true;</span>
<span id="L142" class="LineNr">142 </span><span class="muScenario"><a href='050scenario.cc.html#L57'>scenario</a></span> foo [
<span id="L143" class="LineNr">143 </span>  <span class="Constant">1</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">0</span>
<span id="L144" class="LineNr">144 </span>]
<span id="L145" class="LineNr">145 </span><span class="muScenario"><a href='050scenario.cc.html#L57'>scenario</a></span> foo [
<span id="L146" class="LineNr">146 </span>  <span class="Constant">2</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">0</span>
<span id="L147" class="LineNr">147 </span>]
<span id="L148" class="LineNr">148 </span><span class="traceContains">+error: duplicate <a href='050scenario.cc.html#L57'>scenario</a> name: 'foo'</span>
<span id="L149" class="LineNr">149 </span>
<span id="L150" class="LineNr">150 </span><span class="SalientComment">//:: Run scenarios when we run './mu test'.</span>
<span id="L151" class="LineNr">151 </span><span class="Comment">//: Treat the text of the scenario as a regular series of instructions.</span>
<span id="L152" class="LineNr">152 </span>
<span id="L153" class="LineNr">153 </span><span class="Delimiter">:(before &quot;End Globals&quot;)</span>
<span id="L154" class="LineNr">154 </span><span class="Normal">int</span> Num_core_mu_scenarios = <span class="Constant">0</span><span class="Delimiter">;</span>
<span id="L155" class="LineNr">155 </span><span class="Delimiter">:(after &quot;Check For .mu Files&quot;)</span>
<span id="L156" class="LineNr">156 </span>Num_core_mu_scenarios = <a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span>Scenarios<span class="Delimiter">);</span>
<span id="L157" class="LineNr">157 </span><span class="Delimiter">:(before &quot;End Tests&quot;)</span>
<span id="L158" class="LineNr">158 </span>Hide_missing_default_space_errors = <span class="Constant">false</span><span class="Delimiter">;</span>
<span id="L159" class="LineNr">159 </span><span class="Normal">if</span> <span class="Delimiter">(</span>Num_core_mu_scenarios &gt; <span class="Constant">0</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L160" class="LineNr">160 </span>  time<span class="Delimiter">(</span>&amp;t<span class="Delimiter">);</span>
<span id="L161" class="LineNr">161 </span>  cerr &lt;&lt; <span class="Constant">&quot;Mu tests: &quot;</span> &lt;&lt; ctime<span class="Delimiter">(</span>&amp;t<span class="Delimiter">);</span>
<span id="L162" class="LineNr">162 </span>  <span class="Normal">for</span> <span class="Delimiter">(</span><span class="Normal">int</span> i = <span class="Constant">0</span><span class="Delimiter">;</span>  i &lt; Num_core_mu_scenarios<span class="Delimiter">;</span>  ++i<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L163" class="LineNr">163 </span><span class="CommentedCode">//?     cerr &lt;&lt; '\n' &lt;&lt; i &lt;&lt; &quot;: &quot; &lt;&lt; Scenarios.at(i).name;</span>
<span id="L164" class="LineNr">164 </span>  <span class="Conceal">¦</span> run_mu_scenario<span class="Delimiter">(</span>Scenarios<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">));</span>
<span id="L165" class="LineNr">165 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>Passed<span class="Delimiter">)</span> cerr &lt;&lt; <span class="Constant">&quot;.&quot;</span><span class="Delimiter">;</span>
<span id="L166" class="LineNr">166 </span>  <span class="Conceal">¦</span> <span class="Normal">else</span> ++num_failures<span class="Delimiter">;</span>
<span id="L167" class="LineNr">167 </span>  <span class="Delimiter">}</span>
<span id="L168" class="LineNr">168 </span>  cerr &lt;&lt; <span class="Constant">&quot;</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span><span class="Delimiter">;</span>
<span id="L169" class="LineNr">169 </span><span class="Delimiter">}</span>
<span id="L170" class="LineNr">170 </span><span class="Normal">run_app_scenarios</span>:
<span id="L171" class="LineNr">171 </span><span class="Normal">if</span> <span class="Delimiter">(</span>Num_core_mu_scenarios != <a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span>Scenarios<span class="Delimiter">))</span> <span class="Delimiter">{</span>
<span id="L172" class="LineNr">172 </span>  time<span class="Delimiter">(</span>&amp;t<span class="Delimiter">);</span>
<span id="L173" class="LineNr">173 </span>  cerr &lt;&lt; <span class="Constant">&quot;App tests: &quot;</span> &lt;&lt; ctime<span class="Delimiter">(</span>&amp;t<span class="Delimiter">);</span>
<span id="L174" class="LineNr">174 </span>  <span class="Normal">for</span> <span class="Delimiter">(</span><span class="Normal">int</span> i = Num_core_mu_scenarios<span class="Delimiter">;</span>  i &lt; <a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span>Scenarios<span class="Delimiter">);</span>  ++i<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L175" class="LineNr">175 </span><span class="CommentedCode">//?     cerr &lt;&lt; '\n' &lt;&lt; i &lt;&lt; &quot;: &quot; &lt;&lt; Scenarios.at(i).name;</span>
<span id="L176" class="LineNr">176 </span>  <span class="Conceal">¦</span> run_mu_scenario<span class="Delimiter">(</span>Scenarios<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">));</span>
<span id="L177" class="LineNr">177 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>Passed<span class="Delimiter">)</span> cerr &lt;&lt; <span class="Constant">&quot;.&quot;</span><span class="Delimiter">;</span>
<span id="L178" class="LineNr">178 </span>  <span class="Conceal">¦</span> <span class="Normal">else</span> ++num_failures<span class="Delimiter">;</span>
<span id="L179" class="LineNr">179 </span>  <span class="Delimiter">}</span>
<span id="L180" class="LineNr">180 </span>  cerr &lt;&lt; <span class="Constant">&quot;</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span><span class="Delimiter">;</span>
<span id="L181" class="LineNr">181 </span><span class="Delimiter">}</span>
<span id="L182" class="LineNr">182 </span>
<span id="L183" class="LineNr">183 </span><span class="Comment">//: For faster debugging, support running tests for just the Mu app(s) we are</span>
<span id="L184" class="LineNr">184 </span><span class="Comment">//: loading.</span>
<span id="L185" class="LineNr">185 </span><span class="Delimiter">:(before &quot;End Globals&quot;)</span>
<span id="L186" class="LineNr">186 </span><span class="Normal">bool</span> Test_only_app = <span class="Constant">false</span><span class="Delimiter">;</span>
<span id="L187" class="LineNr">187 </span><span class="Delimiter">:(before &quot;End Commandline Options(*arg)&quot;)</span>
<span id="L188" class="LineNr">188 </span><span class="Normal">else</span> <span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L73'>is_equal</a><span class="Delimiter">(</span>*arg<span class="Delimiter">,</span> <span class="Constant">&quot;--test-only-app&quot;</span><span class="Delimiter">))</span> <span class="Delimiter">{</span>
<span id="L189" class="LineNr">189 </span>  Test_only_app = <span class="Constant">true</span><span class="Delimiter">;</span>
<span id="L190" class="LineNr">190 </span><span class="Delimiter">}</span>
<span id="L191" class="LineNr">191 </span><span class="Delimiter">:(after &quot;End Test Run Initialization&quot;)</span>
<span id="L192" class="LineNr">192 </span><span class="Normal">if</span> <span class="Delimiter">(</span>Test_only_app &amp;&amp; Num_core_mu_scenarios &lt; <a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span>Scenarios<span class="Delimiter">))</span> <span class="Delimiter">{</span>
<span id="L193" class="LineNr">193 </span>  <span class="Identifier">goto</span> run_app_scenarios<span class="Delimiter">;</span>
<span id="L194" class="LineNr">194 </span><span class="Delimiter">}</span>
<span id="L195" class="LineNr">195 </span>
<span id="L196" class="LineNr">196 </span><span class="Comment">//: Convenience: run a single named scenario.</span>
<span id="L197" class="LineNr">197 </span><span class="Delimiter">:(after &quot;Test Runs&quot;)</span>
<span id="L198" class="LineNr">198 </span><span class="Normal">for</span> <span class="Delimiter">(</span><span class="Normal">int</span> i = <span class="Constant">0</span><span class="Delimiter">;</span>  i &lt; <a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span>Scenarios<span class="Delimiter">);</span>  ++i<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L199" class="LineNr">199 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>Scenarios<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">).</span>name == argv[argc-<span class="Constant">1</span>]<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L200" class="LineNr">200 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>Start_tracing<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L201" class="LineNr">201 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> Trace_stream = <span class="Normal">new</span> trace_stream<span class="Delimiter">;</span>
<span id="L202" class="LineNr">202 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> Save_trace = <span class="Constant">true</span><span class="Delimiter">;</span>
<span id="L203" class="LineNr">203 </span>  <span class="Conceal">¦</span> <span class="Delimiter">}</span>
<span id="L204" class="LineNr">204 </span>  <span class="Conceal">¦</span> run_mu_scenario<span class="Delimiter">(</span>Scenarios<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">));</span>
<span id="L205" class="LineNr">205 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>Passed<span class="Delimiter">)</span> cerr &lt;&lt; <span class="Constant">&quot;.</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span><span class="Delimiter">;</span>
<span id="L206" class="LineNr">206 </span>  <span class="Conceal">¦</span> <span class="Identifier">return</span> <span class="Constant">0</span><span class="Delimiter">;</span>
<span id="L207" class="LineNr">207 </span>  <span class="Delimiter">}</span>
<span id="L208" class="LineNr">208 </span><span class="Delimiter">}</span>
<span id="L209" class="LineNr">209 </span>
<span id="L210" class="LineNr">210 </span><span class="Delimiter">:(before &quot;End Globals&quot;)</span>
<span id="L211" class="LineNr">211 </span><span class="Comment">// this isn't a constant, just a global of type const*</span>
<span id="L212" class="LineNr">212 </span><span class="Normal">const</span> scenario* Current_scenario = <span class="Constant">NULL</span><span class="Delimiter">;</span>
<span id="L213" class="LineNr">213 </span><span class="Delimiter">:(code)</span>
<span id="L214" class="LineNr">214 </span><span class="Normal">void</span> run_mu_scenario<span class="Delimiter">(</span><span class="Normal">const</span> scenario&amp; s<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L215" class="LineNr">215 </span>  Current_scenario = &amp;s<span class="Delimiter">;</span>
<span id="L216" class="LineNr">216 </span>  <span class="Normal">bool</span> not_already_inside_test = !Trace_stream<span class="Delimiter">;</span>
<span id="L217" class="LineNr">217 </span><span class="CommentedCode">//?   cerr &lt;&lt; s.name &lt;&lt; '\n';</span>
<span id="L218" class="LineNr">218 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>not_already_inside_test<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L219" class="LineNr">219 </span>  <span class="Conceal">¦</span> Trace_stream = <span class="Normal">new</span> trace_stream<span class="Delimiter">;</span>
<span id="L220" class="LineNr">220 </span>  <span class="Conceal">¦</span> <a href='000organization.cc.html#L134'>reset</a><span class="Delimiter">();</span>
<span id="L221" class="LineNr">221 </span>  <span class="Delimiter">}</span>
<span id="L222" class="LineNr">222 </span>  vector&lt;recipe_ordinal&gt; tmp = load<span class="Delimiter">(</span><span class="Constant">&quot;recipe scenario_&quot;</span>+s<span class="Delimiter">.</span>name+<span class="Constant">&quot; [ &quot;</span>+s<span class="Delimiter">.</span>to_run+<span class="Constant">&quot; ]&quot;</span><span class="Delimiter">);</span>
<span id="L223" class="LineNr">223 </span>  mark_autogenerated<span class="Delimiter">(</span>tmp<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">));</span>
<span id="L224" class="LineNr">224 </span>  bind_special_scenario_names<span class="Delimiter">(</span>tmp<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">));</span>
<span id="L225" class="LineNr">225 </span>  <a href='012transform.cc.html#L46'>transform_all</a><span class="Delimiter">();</span>
<span id="L226" class="LineNr">226 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!trace_contains_errors<span class="Delimiter">())</span>
<span id="L227" class="LineNr">227 </span>  <span class="Conceal">¦</span> run<span class="Delimiter">(</span>tmp<span class="Delimiter">.</span>front<span class="Delimiter">());</span>
<span id="L228" class="LineNr">228 </span>  <span class="Comment">// End Mu Test Teardown</span>
<span id="L229" class="LineNr">229 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!Hide_errors &amp;&amp; <a href='003trace.cc.html#L192'>trace_contains_errors</a><span class="Delimiter">()</span> &amp;&amp; !Scenario_testing_scenario<span class="Delimiter">)</span>
<span id="L230" class="LineNr">230 </span>  <span class="Conceal">¦</span> Passed = <span class="Constant">false</span><span class="Delimiter">;</span>
<span id="L231" class="LineNr">231 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>not_already_inside_test &amp;&amp; Trace_stream<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L232" class="LineNr">232 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>Save_trace<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L233" class="LineNr">233 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> ofstream fout<span class="Delimiter">(</span><span class="Constant">&quot;last_trace&quot;</span><span class="Delimiter">);</span>
<span id="L234" class="LineNr">234 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> fout &lt;&lt; Trace_stream<span class="Delimiter">-&gt;</span><a href='003trace.cc.html#L143'>readable_contents</a><span class="Delimiter">(</span><span class="Constant">&quot;&quot;</span><span class="Delimiter">);</span>
<span id="L235" class="LineNr">235 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> fout<span class="Delimiter">.</span>close<span class="Delimiter">();</span>
<span id="L236" class="LineNr">236 </span>  <span class="Conceal">¦</span> <span class="Delimiter">}</span>
<span id="L237" class="LineNr">237 </span>  <span class="Conceal">¦</span> <span class="Normal">delete</span> Trace_stream<span class="Delimiter">;</span>
<span id="L238" class="LineNr">238 </span>  <span class="Conceal">¦</span> Trace_stream = <span class="Constant">NULL</span><span class="Delimiter">;</span>
<span id="L239" class="LineNr">239 </span>  <span class="Delimiter">}</span>
<span id="L240" class="LineNr">240 </span>  Current_scenario = <span class="Constant">NULL</span><span class="Delimiter">;</span>
<span id="L241" class="LineNr">241 </span><span class="Delimiter">}</span>
<span id="L242" class="LineNr">242 </span>
<span id="L243" class="LineNr">243 </span><span class="Comment">//: Permit numeric locations to be accessed in scenarios.</span>
<span id="L244" class="LineNr">244 </span><span class="Delimiter">:(before &quot;End check_default_space Special-cases&quot;)</span>
<span id="L245" class="LineNr">245 </span><span class="Comment">// user code should never create recipes with underscores in their names</span>
<span id="L246" class="LineNr">246 </span><span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L77'>starts_with</a><span class="Delimiter">(</span>caller<span class="Delimiter">.</span>name<span class="Delimiter">,</span> <span class="Constant">&quot;scenario_&quot;</span><span class="Delimiter">))</span> <span class="Identifier">return</span><span class="Delimiter">;</span>  <span class="Comment">// skip Mu scenarios which will use raw memory locations</span>
<span id="L247" class="LineNr">247 </span><span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L77'>starts_with</a><span class="Delimiter">(</span>caller<span class="Delimiter">.</span>name<span class="Delimiter">,</span> <span class="Constant">&quot;run_&quot;</span><span class="Delimiter">))</span> <span class="Identifier">return</span><span class="Delimiter">;</span>  <span class="Comment">// skip calls to 'run', which should be in scenarios and will also use raw memory locations</span>
<span id="L248" class="LineNr">248 </span>
<span id="L249" class="LineNr">249 </span><span class="Delimiter">:(before &quot;End maybe(recipe_name) Special-cases&quot;)</span>
<span id="L250" class="LineNr">250 </span><span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L77'>starts_with</a><span class="Delimiter">(</span>recipe_name<span class="Delimiter">,</span> <span class="Constant">&quot;scenario_&quot;</span><span class="Delimiter">))</span>
<span id="L251" class="LineNr">251 </span>  <span class="Identifier">return</span> recipe_name<span class="Delimiter">.</span>substr<span class="Delimiter">(</span>strlen<span class="Delimiter">(</span><span class="Constant">&quot;scenario_&quot;</span><span class="Delimiter">))</span> + <span class="Constant">&quot;: &quot;</span><span class="Delimiter">;</span>
<span id="L252" class="LineNr">252 </span>
<span id="L253" class="LineNr">253 </span><span class="Comment">//: Some variables for fake resources always get special /raw addresses in scenarios.</span>
<span id="L254" class="LineNr">254 </span>
<span id="L255" class="LineNr">255 </span><span class="Delimiter">:(code)</span>
<span id="L256" class="LineNr">256 </span><span class="Comment">// Should contain everything passed by is_special_name but failed by is_disqualified.</span>
<span id="L257" class="LineNr">257 </span><span class="Normal">void</span> bind_special_scenario_names<span class="Delimiter">(</span><span class="Normal">const</span> <a href='010vm.cc.html#L14'>recipe_ordinal</a> r<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L258" class="LineNr">258 </span>  <span class="Comment">// Special Scenario Variable Names(r)</span>
<span id="L259" class="LineNr">259 </span>  <span class="Comment">// End Special Scenario Variable Names(r)</span>
<span id="L260" class="LineNr">260 </span><span class="Delimiter">}</span>
<span id="L261" class="LineNr">261 </span><span class="Delimiter">:(before &quot;Done Placing Ingredient(ingredient, inst, caller)&quot;)</span>
<span id="L262" class="LineNr">262 </span>maybe_make_raw<span class="Delimiter">(</span>ingredient<span class="Delimiter">,</span> caller<span class="Delimiter">);</span>
<span id="L263" class="LineNr">263 </span><span class="Delimiter">:(before &quot;Done Placing Product(product, inst, caller)&quot;)</span>
<span id="L264" class="LineNr">264 </span>maybe_make_raw<span class="Delimiter">(</span>product<span class="Delimiter">,</span> caller<span class="Delimiter">);</span>
<span id="L265" class="LineNr">265 </span><span class="Delimiter">:(code)</span>
<span id="L266" class="LineNr">266 </span><span class="Normal">void</span> maybe_make_raw<span class="Delimiter">(</span>reagent&amp; r<span class="Delimiter">,</span> <span class="Normal">const</span> recipe&amp; caller<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L267" class="LineNr">267 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!is_special_name<span class="Delimiter">(</span>r<span class="Delimiter">.</span>name<span class="Delimiter">))</span> <span class="Identifier">return</span><span class="Delimiter">;</span>
<span id="L268" class="LineNr">268 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L77'>starts_with</a><span class="Delimiter">(</span>caller<span class="Delimiter">.</span>name<span class="Delimiter">,</span> <span class="Constant">&quot;scenario_&quot;</span><span class="Delimiter">))</span>
<span id="L269" class="LineNr">269 </span>  <span class="Conceal">¦</span> r<span class="Delimiter">.</span>properties<span class="Delimiter">.</span>push_back<span class="Delimiter">(</span>pair&lt;string<span class="Delimiter">,</span> string_tree*&gt;<span class="Delimiter">(</span><span class="Constant">&quot;raw&quot;</span><span class="Delimiter">,</span> <span class="Constant">NULL</span><span class="Delimiter">));</span>
<span id="L270" class="LineNr">270 </span>  <span class="Comment">// End maybe_make_raw</span>
<span id="L271" class="LineNr">271 </span><span class="Delimiter">}</span>
<span id="L272" class="LineNr">272 </span>
<span id="L273" class="LineNr">273 </span><span class="Comment">//: Test.</span>
<span id="L274" class="LineNr">274 </span><span class="Delimiter">:(before &quot;End <a href='042name.cc.html#L163'>is_special_name</a> Special-cases&quot;)</span>
<span id="L275" class="LineNr">275 </span><span class="Normal">if</span> <span class="Delimiter">(</span>s == <span class="Constant">&quot;__maybe_make_raw_test__&quot;</span><span class="Delimiter">)</span> <span class="Identifier">return</span> <span class="Constant">true</span><span class="Delimiter">;</span>
<span id="L276" class="LineNr">276 </span><span class="Delimiter">:(before &quot;End Special Scenario Variable Names(r)&quot;)</span>
<span id="L277" class="LineNr">277 </span><span class="Comment">//: ugly: we only need this for this one test, but need to define it for all time</span>
<span id="L278" class="LineNr">278 </span>Name[r][<span class="Constant">&quot;__maybe_make_raw_test__&quot;</span>] = Reserved_for_tests-<span class="Constant">1</span><span class="Delimiter">;</span>
<span id="L279" class="LineNr">279 </span><span class="Delimiter">:(code)</span>
<span id="L280" class="LineNr">280 </span><span class="Normal">void</span> test_maybe_make_raw<span class="Delimiter">()</span> <span class="Delimiter">{</span>
<span id="L281" class="LineNr">281 </span>  <span class="Comment">// check that scenarios can use local-scope and special variables together</span>
<span id="L282" class="LineNr">282 </span>  vector&lt;recipe_ordinal&gt; tmp = load<span class="Delimiter">(</span>
<span id="L283" class="LineNr">283 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <span class="Constant">&quot;def scenario_foo [</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
<span id="L284" class="LineNr">284 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <span class="Constant">&quot;  local-scope</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
<span id="L285" class="LineNr">285 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <span class="Constant">&quot;  __maybe_make_raw_test__:num &lt;- copy 34</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>
<span id="L286" class="LineNr">286 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <span class="Constant">&quot;]</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span><span class="Delimiter">);</span>
<span id="L287" class="LineNr">287 </span>  mark_autogenerated<span class="Delimiter">(</span>tmp<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">));</span>
<span id="L288" class="LineNr">288 </span>  bind_special_scenario_names<span class="Delimiter">(</span>tmp<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">));</span>
<span id="L289" class="LineNr">289 </span>  <a href='012transform.cc.html#L46'>transform_all</a><span class="Delimiter">();</span>
<span id="L290" class="LineNr">290 </span>  run<span class="Delimiter">(</span>tmp<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">));</span>
<span id="L291" class="LineNr">291 </span>  <a href='003trace.cc.html#L233'>CHECK_TRACE_DOESNT_CONTAIN_ERRORS</a><span class="Delimiter">();</span>
<span id="L292" class="LineNr">292 </span><span class="Delimiter">}</span>
<span id="L293" class="LineNr">293 </span>
<span id="L294" class="LineNr">294 </span><span class="Comment">//: Watch out for redefinitions of scenario routines. We should never ever be</span>
<span id="L295" class="LineNr">295 </span><span class="Comment">//: doing that, regardless of anything else.</span>
<span id="L296" class="LineNr">296 </span><span class="Delimiter">:(scenario forbid_redefining_scenario_even_if_forced)</span>
<span id="L297" class="LineNr">297 </span><span class="Special">% Hide_errors = true;</span>
<span id="L298" class="LineNr">298 </span><span class="Special">% Disable_redefine_checks = true;</span>
<span id="L299" class="LineNr">299 </span><span class="muRecipe">def</span> scenario-foo [
<span id="L300" class="LineNr">300 </span>  <span class="Constant">1</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">34</span>
<span id="L301" class="LineNr">301 </span>]
<span id="L302" class="LineNr">302 </span><span class="muRecipe">def</span> scenario-foo [
<span id="L303" class="LineNr">303 </span>  <span class="Constant">1</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">35</span>
<span id="L304" class="LineNr">304 </span>]
<span id="L305" class="LineNr">305 </span><span class="traceContains">+error: redefining <a href='010vm.cc.html#L19'>recipe</a> scenario-foo</span>
<span id="L306" class="LineNr">306 </span>
<span id="L307" class="LineNr">307 </span><span class="Delimiter">:(scenario scenario_containing_parse_error)</span>
<span id="L308" class="LineNr">308 </span><span class="Special">% Hide_errors = true;</span>
<span id="L309" class="LineNr">309 </span><span class="muScenario"><a href='050scenario.cc.html#L57'>scenario</a></span> foo [
<span id="L310" class="LineNr">310 </span>  memory-should-contain [
<span id="L311" class="LineNr">311 </span>  <span class="Conceal">¦</span> <span class="Constant">1</span><span class="Special"> &lt;- </span><span class="Constant">0</span>
<span id="L312" class="LineNr">312 </span>  <span class="Comment"># missing ']'</span>
<span id="L313" class="LineNr">313 </span>]
<span id="L314" class="LineNr">314 </span><span class="Comment"># no crash</span>
<span id="L315" class="LineNr">315 </span>
<span id="L316" class="LineNr">316 </span><span class="Delimiter">:(scenario scenario_containing_transform_error)</span>
<span id="L317" class="LineNr">317 </span><span class="Special">% Hide_errors = true;</span>
<span id="L318" class="LineNr">318 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [
<span id="L319" class="LineNr">319 </span>  local-scope
<span id="L320" class="LineNr">320 </span>  add x<span class="Delimiter">,</span> <span class="Constant">1</span>
<span id="L321" class="LineNr">321 </span>]
<span id="L322" class="LineNr">322 </span><span class="Comment"># no crash</span>
<span id="L323" class="LineNr">323 </span>
<span id="L324" class="LineNr">324 </span><span class="Delimiter">:(after &quot;bool should_check_for_redefine(const string&amp; recipe_name)&quot;)</span>
<span id="L325" class="LineNr">325 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>recipe_name<span class="Delimiter">.</span>find<span class="Delimiter">(</span><span class="Constant">&quot;scenario-&quot;</span><span class="Delimiter">)</span> == <span class="Constant">0</span><span class="Delimiter">)</span> <span class="Identifier">return</span> <span class="Constant">true</span><span class="Delimiter">;</span>
<span id="L326" class="LineNr">326 </span>
<span id="L327" class="LineNr">327 </span><span class="SalientComment">//:: The special instructions we want to support inside scenarios.</span>
<span id="L328" class="LineNr">328 </span><span class="Comment">//: These are easy to support in an interpreter, but will require more work</span>
<span id="L329" class="LineNr">329 </span><span class="Comment">//: when we eventually build a compiler.</span>
<span id="L330" class="LineNr">330 </span>
<span id="L331" class="LineNr">331 </span><span class="Comment">//: 'run' is a purely lexical convenience to separate the code actually being</span>
<span id="L332" class="LineNr">332 </span><span class="Comment">//: tested from any setup</span>
<span id="L333" class="LineNr">333 </span>
<span id="L334" class="LineNr">334 </span><span class="Delimiter">:(scenario run)</span>
<span id="L335" class="LineNr">335 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [
<span id="L336" class="LineNr">336 </span>  run [
<span id="L337" class="LineNr">337 </span>  <span class="Conceal">¦</span> <span class="Constant">1</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">13</span>
<span id="L338" class="LineNr">338 </span>  ]
<span id="L339" class="LineNr">339 </span>]
<span id="L340" class="LineNr">340 </span><span class="traceContains">+mem: storing 13 in location 1</span>
<span id="L341" class="LineNr">341 </span>
<span id="L342" class="LineNr">342 </span><span class="Delimiter">:(before &quot;End Rewrite Instruction(curr, <a href='010vm.cc.html#L19'>recipe</a> result)&quot;)</span>
<span id="L343" class="LineNr">343 </span><span class="Normal">if</span> <span class="Delimiter">(</span>curr<span class="Delimiter">.</span>name == <span class="Constant">&quot;run&quot;</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L344" class="LineNr">344 </span>  <span class="Comment">// Just inline all instructions inside the run block in the containing</span>
<span id="L345" class="LineNr">345 </span>  <span class="Comment">// recipe. 'run' is basically a comment; pretend it doesn't exist.</span>
<span id="L346" class="LineNr">346 </span>  istringstream in2<span class="Delimiter">(</span><span class="Constant">&quot;[</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span>+curr<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>name+<span class="Constant">&quot;</span><span class="cSpecial">\n</span><span class="Constant">]</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span><span class="Delimiter">);</span>
<span id="L347" class="LineNr">347 </span>  <a href='011load.cc.html#L81'>slurp_body</a><span class="Delimiter">(</span>in2<span class="Delimiter">,</span> result<span class="Delimiter">);</span>
<span id="L348" class="LineNr">348 </span>  curr<span class="Delimiter">.</span><a href='050scenario.cc.html#L60'>clear</a><span class="Delimiter">();</span>
<span id="L349" class="LineNr">349 </span><span class="Delimiter">}</span>
<span id="L350" class="LineNr">350 </span>
<span id="L351" class="LineNr">351 </span><span class="Delimiter">:(scenario run_multiple)</span>
<span id="L352" class="LineNr">352 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [
<span id="L353" class="LineNr">353 </span>  run [
<span id="L354" class="LineNr">354 </span>  <span class="Conceal">¦</span> <span class="Constant">1</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">13</span>
<span id="L355" class="LineNr">355 </span>  ]
<span id="L356" class="LineNr">356 </span>  run [
<span id="L357" class="LineNr">357 </span>  <span class="Conceal">¦</span> <span class="Constant">2</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">13</span>
<span id="L358" class="LineNr">358 </span>  ]
<span id="L359" class="LineNr">359 </span>]
<span id="L360" class="LineNr">360 </span><span class="traceContains">+mem: storing 13 in location 1</span>
<span id="L361" class="LineNr">361 </span><span class="traceContains">+mem: storing 13 in location 2</span>
<span id="L362" class="LineNr">362 </span>
<span id="L363" class="LineNr">363 </span><span class="Comment">//: 'memory-should-contain' raises errors if specific locations aren't as expected</span>
<span id="L364" class="LineNr">364 </span><span class="Comment">//: Also includes some special support for checking Mu texts.</span>
<span id="L365" class="LineNr">365 </span>
<span id="L366" class="LineNr">366 </span><span class="Delimiter">:(before &quot;End Globals&quot;)</span>
<span id="L367" class="LineNr">367 </span><span class="Normal">bool</span> Scenario_testing_scenario = <span class="Constant">false</span><span class="Delimiter">;</span>
<span id="L368" class="LineNr">368 </span><span class="Delimiter">:(before &quot;End Reset&quot;)</span>
<span id="L369" class="LineNr">369 </span>Scenario_testing_scenario = <span class="Constant">false</span><span class="Delimiter">;</span>
<span id="L370" class="LineNr">370 </span>
<span id="L371" class="LineNr">371 </span><span class="Delimiter">:(scenario memory_check)</span>
<span id="L372" class="LineNr">372 </span><span class="Special">% Scenario_testing_scenario = true;</span>
<span id="L373" class="LineNr">373 </span><span class="Special">% Hide_errors = true;</span>
<span id="L374" class="LineNr">374 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [
<span id="L375" class="LineNr">375 </span>  memory-should-contain [
<span id="L376" class="LineNr">376 </span>  <span class="Conceal">¦</span> <span class="Constant">1</span><span class="Special"> &lt;- </span><span class="Constant">13</span>
<span id="L377" class="LineNr">377 </span>  ]
<span id="L378" class="LineNr">378 </span>]
<span id="L379" class="LineNr">379 </span><span class="traceContains">+run: checking location 1</span>
<span id="L380" class="LineNr">380 </span><span class="traceContains">+error: F - <a href='000organization.cc.html#L113'>main</a>: expected location '1' to contain 13 but saw 0</span>
<span id="L381" class="LineNr">381 </span>
<span id="L382" class="LineNr">382 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Declarations&quot;)</span>
<span id="L383" class="LineNr">383 </span>MEMORY_SHOULD_CONTAIN<span class="Delimiter">,</span>
<span id="L384" class="LineNr">384 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Numbers&quot;)</span>
<span id="L385" class="LineNr">385 </span><a href='001help.cc.html#L221'>put</a><span class="Delimiter">(</span>Recipe_ordinal<span class="Delimiter">,</span> <span class="Constant">&quot;memory-should-contain&quot;</span><span class="Delimiter">,</span> MEMORY_SHOULD_CONTAIN<span class="Delimiter">);</span>
<span id="L386" class="LineNr">386 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Checks&quot;)</span>
<span id="L387" class="LineNr">387 </span><span class="Normal">case</span> MEMORY_SHOULD_CONTAIN: <span class="Delimiter">{</span>
<span id="L388" class="LineNr">388 </span>  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L389" class="LineNr">389 </span><span class="Delimiter">}</span>
<span id="L390" class="LineNr">390 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Implementations&quot;)</span>
<span id="L391" class="LineNr">391 </span><span class="Normal">case</span> MEMORY_SHOULD_CONTAIN: <span class="Delimiter">{</span>
<span id="L392" class="LineNr">392 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!Passed<span class="Delimiter">)</span> <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L393" class="LineNr">393 </span>  check_memory<span class="Delimiter">(</span><a href='026call.cc.html#L87'>current_instruction</a><span class="Delimiter">().</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>name<span class="Delimiter">);</span>
<span id="L394" class="LineNr">394 </span>  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L395" class="LineNr">395 </span><span class="Delimiter">}</span>
<span id="L396" class="LineNr">396 </span>
<span id="L397" class="LineNr">397 </span><span class="Delimiter">:(code)</span>
<span id="L398" class="LineNr">398 </span><span class="Normal">void</span> check_memory<span class="Delimiter">(</span><span class="Normal">const</span> string&amp; s<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L399" class="LineNr">399 </span>  istringstream in<span class="Delimiter">(</span>s<span class="Delimiter">);</span>
<span id="L400" class="LineNr">400 </span>  in &gt;&gt; std::noskipws<span class="Delimiter">;</span>
<span id="L401" class="LineNr">401 </span>  set&lt;<span class="Normal">int</span>&gt; locations_checked<span class="Delimiter">;</span>
<span id="L402" class="LineNr">402 </span>  <span class="Normal">while</span> <span class="Delimiter">(</span><span class="Constant">true</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L403" class="LineNr">403 </span>  <span class="Conceal">¦</span> <a href='011load.cc.html#L209'>skip_whitespace_and_comments</a><span class="Delimiter">(</span>in<span class="Delimiter">);</span>
<span id="L404" class="LineNr">404 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>!has_data<span class="Delimiter">(</span>in<span class="Delimiter">))</span> <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L405" class="LineNr">405 </span>  <span class="Conceal">¦</span> string lhs = <a href='011load.cc.html#L167'>next_word</a><span class="Delimiter">(</span>in<span class="Delimiter">);</span>
<span id="L406" class="LineNr">406 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>lhs<span class="Delimiter">.</span>empty<span class="Delimiter">())</span> <span class="Delimiter">{</span>
<span id="L407" class="LineNr">407 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> assert<span class="Delimiter">(</span>!has_data<span class="Delimiter">(</span>in<span class="Delimiter">));</span>
<span id="L408" class="LineNr">408 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <a href='003trace.cc.html#L168'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span><a href='026call.cc.html#L85'>current_recipe_name</a><span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;incomplete 'memory-should-contain' block at <a href='003trace.cc.html#L197'>end</a> of file (0)</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>
<span id="L409" class="LineNr">409 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <span class="Identifier">return</span><span class="Delimiter">;</span>
<span id="L410" class="LineNr">410 </span>  <span class="Conceal">¦</span> <span class="Delimiter">}</span>
<span id="L411" class="LineNr">411 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>!is_integer<span class="Delimiter">(</span>lhs<span class="Delimiter">))</span> <span class="Delimiter">{</span>
<span id="L412" class="LineNr">412 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <a href='046check_type_by_name.cc.html#L58'>check_type</a><span class="Delimiter">(</span>lhs<span class="Delimiter">,</span> in<span class="Delimiter">);</span>
<span id="L413" class="LineNr">413 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <span class="Identifier">continue</span><span class="Delimiter">;</span>
<span id="L414" class="LineNr">414 </span>  <span class="Conceal">¦</span> <span class="Delimiter">}</span>
<span id="L415" class="LineNr">415 </span>  <span class="Conceal">¦</span> <span class="Normal">int</span> <a href='043space.cc.html#L82'>address</a> = <a href='002test.cc.html#L91'>to_integer</a><span class="Delimiter">(</span>lhs<span class="Delimiter">);</span>
<span id="L416" class="LineNr">416 </span>  <span class="Conceal">¦</span> <a href='011load.cc.html#L209'>skip_whitespace_and_comments</a><span class="Delimiter">(</span>in<span class="Delimiter">);</span>
<span id="L417" class="LineNr">417 </span>  <span class="Conceal">¦</span> string _assign<span class="Delimiter">;</span>  in &gt;&gt; _assign<span class="Delimiter">;</span>  assert<span class="Delimiter">(</span>_assign == <span class="Constant">&quot;&lt;-&quot;</span><span class="Delimiter">);</span>
<span id="L418" class="LineNr">418 </span>  <span class="Conceal">¦</span> <a href='011load.cc.html#L209'>skip_whitespace_and_comments</a><span class="Delimiter">(</span>in<span class="Delimiter">);</span>
<span id="L419" class="LineNr">419 </span>  <span class="Conceal">¦</span> string rhs = <a href='011load.cc.html#L167'>next_word</a><span class="Delimiter">(</span>in<span class="Delimiter">);</span>
<span id="L420" class="LineNr">420 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>rhs<span class="Delimiter">.</span>empty<span class="Delimiter">())</span> <span class="Delimiter">{</span>
<span id="L421" class="LineNr">421 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> assert<span class="Delimiter">(</span>!has_data<span class="Delimiter">(</span>in<span class="Delimiter">));</span>
<span id="L422" class="LineNr">422 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <a href='003trace.cc.html#L168'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span><a href='026call.cc.html#L85'>current_recipe_name</a><span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;incomplete 'memory-should-contain' block at <a href='003trace.cc.html#L197'>end</a> of file (1)</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>
<span id="L423" class="LineNr">423 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <span class="Identifier">return</span><span class="Delimiter">;</span>
<span id="L424" class="LineNr">424 </span>  <span class="Conceal">¦</span> <span class="Delimiter">}</span>
<span id="L425" class="LineNr">425 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>!is_integer<span class="Delimiter">(</span>rhs<span class="Delimiter">)</span> &amp;&amp; !is_noninteger<span class="Delimiter">(</span>rhs<span class="Delimiter">))</span> <span class="Delimiter">{</span>
<span id="L426" class="LineNr">426 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>!Hide_errors<span class="Delimiter">)</span> cerr &lt;&lt; <span class="cSpecial">'\n'</span><span class="Delimiter">;</span>
<span id="L427" class="LineNr">427 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <a href='003trace.cc.html#L168'>raise</a> &lt;&lt; <span class="Constant">&quot;F - &quot;</span> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span><a href='026call.cc.html#L85'>current_recipe_name</a><span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;location '&quot;</span> &lt;&lt; address &lt;&lt; <span class="Constant">&quot;' can't contain non-number &quot;</span> &lt;&lt; rhs &lt;&lt; <span class="cSpecial">'\n'</span> &lt;&lt; end<span class="Delimiter">();</span>
<span id="L428" class="LineNr">428 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>!Scenario_testing_scenario<span class="Delimiter">)</span> Passed = <span class="Constant">false</span><span class="Delimiter">;</span>
<span id="L429" class="LineNr">429 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <span class="Identifier">return</span><span class="Delimiter">;</span>
<span id="L430" class="LineNr">430 </span>  <span class="Conceal">¦</span> <span class="Delimiter">}</span>
<span id="L431" class="LineNr">431 </span>  <span class="Conceal">¦</span> <span class="Normal">double</span> value = <a href='015literal_noninteger.cc.html#L26'>to_double</a><span class="Delimiter">(</span>rhs<span class="Delimiter">);</span>
<span id="L432" class="LineNr">432 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>contains_key<span class="Delimiter">(</span>locations_checked<span class="Delimiter">,</span> <a href='043space.cc.html#L82'>address</a><span class="Delimiter">))</span>
<span id="L433" class="LineNr">433 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <a href='003trace.cc.html#L168'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span><a href='026call.cc.html#L85'>current_recipe_name</a><span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;duplicate expectation for location '&quot;</span> &lt;&lt; address &lt;&lt; <span class="Constant">&quot;'</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>
<span id="L434" class="LineNr">434 </span>  <span class="Conceal">¦</span> <a href='003trace.cc.html#L161'>trace</a><span class="Delimiter">(</span><span class="Constant">&quot;run&quot;</span><span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;checking location &quot;</span> &lt;&lt; <a href='043space.cc.html#L82'>address</a> &lt;&lt; <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>
<span id="L435" class="LineNr">435 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L229'>get_or_insert</a><span class="Delimiter">(</span>Memory<span class="Delimiter">,</span> <a href='043space.cc.html#L82'>address</a><span class="Delimiter">)</span> != value<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L436" class="LineNr">436 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>!Hide_errors<span class="Delimiter">)</span> cerr &lt;&lt; <span class="cSpecial">'\n'</span><span class="Delimiter">;</span>
<span id="L437" class="LineNr">437 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <a href='003trace.cc.html#L168'>raise</a> &lt;&lt; <span class="Constant">&quot;F - &quot;</span> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span><a href='026call.cc.html#L85'>current_recipe_name</a><span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;expected location '&quot;</span> &lt;&lt; address &lt;&lt; <span class="Constant">&quot;' to contain &quot;</span> &lt;&lt; no_scientific<span class="Delimiter">(</span>value<span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot; but saw &quot;</span> &lt;&lt; no_scientific<span class="Delimiter">(</span><a href='001help.cc.html#L229'>get_or_insert</a><span class="Delimiter">(</span>Memory<span class="Delimiter">,</span> <a href='043space.cc.html#L82'>address</a><span class="Delimiter">))</span> &lt;&lt; <span class="cSpecial">'\n'</span> &lt;&lt; <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>
<span id="L438" class="LineNr">438 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>!Scenario_testing_scenario<span class="Delimiter">)</span> Passed = <span class="Constant">false</span><span class="Delimiter">;</span>
<span id="L439" class="LineNr">439 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <span class="Identifier">return</span><span class="Delimiter">;</span>
<span id="L440" class="LineNr">440 </span>  <span class="Conceal">¦</span> <span class="Delimiter">}</span>
<span id="L441" class="LineNr">441 </span>  <span class="Conceal">¦</span> locations_checked<span class="Delimiter">.</span>insert<span class="Delimiter">(</span><a href='043space.cc.html#L82'>address</a><span class="Delimiter">);</span>
<span id="L442" class="LineNr">442 </span>  <span class="Delimiter">}</span>
<span id="L443" class="LineNr">443 </span><span class="Delimiter">}</span>
<span id="L444" class="LineNr">444 </span>
<span id="L445" class="LineNr">445 </span><span class="Normal">void</span> <a href='046check_type_by_name.cc.html#L58'>check_type</a><span class="Delimiter">(</span><span class="Normal">const</span> string&amp; lhs<span class="Delimiter">,</span> istream&amp; in<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L446" class="LineNr">446 </span>  reagent x<span class="Delimiter">(</span>lhs<span class="Delimiter">);</span>
<span id="L447" class="LineNr">447 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>is_mu_array<span class="Delimiter">(</span>x<span class="Delimiter">.</span>type<span class="Delimiter">)</span> &amp;&amp; is_mu_character<span class="Delimiter">(</span><a href='032array.cc.html#L381'>array_element</a><span class="Delimiter">(</span>x<span class="Delimiter">.</span>type<span class="Delimiter">)))</span> <span class="Delimiter">{</span>
<span id="L448" class="LineNr">448 </span>  <span class="Conceal">¦</span> x<span class="Delimiter">.</span><a href='010vm.cc.html#L65'>set_value</a><span class="Delimiter">(</span><a href='002test.cc.html#L91'>to_integer</a><span class="Delimiter">(</span>x<span class="Delimiter">.</span>name<span class="Delimiter">));</span>
<span id="L449" class="LineNr">449 </span>  <span class="Conceal">¦</span> <a href='011load.cc.html#L209'>skip_whitespace_and_comments</a><span class="Delimiter">(</span>in<span class="Delimiter">);</span>
<span id="L450" class="LineNr">450 </span>  <span class="Conceal">¦</span> string _assign = <a href='011load.cc.html#L167'>next_word</a><span class="Delimiter">(</span>in<span class="Delimiter">);</span>
<span id="L451" class="LineNr">451 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>_assign<span class="Delimiter">.</span>empty<span class="Delimiter">())</span> <span class="Delimiter">{</span>
<span id="L452" class="LineNr">452 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> assert<span class="Delimiter">(</span>!has_data<span class="Delimiter">(</span>in<span class="Delimiter">));</span>
<span id="L453" class="LineNr">453 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <a href='003trace.cc.html#L168'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span><a href='026call.cc.html#L85'>current_recipe_name</a><span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;incomplete 'memory-should-contain' block at <a href='003trace.cc.html#L197'>end</a> of file (2)</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>
<span id="L454" class="LineNr">454 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <span class="Identifier">return</span><span class="Delimiter">;</span>
<span id="L455" class="LineNr">455 </span>  <span class="Conceal">¦</span> <span class="Delimiter">}</span>
<span id="L456" class="LineNr">456 </span>  <span class="Conceal">¦</span> assert<span class="Delimiter">(</span>_assign == <span class="Constant">&quot;&lt;-&quot;</span><span class="Delimiter">);</span>
<span id="L457" class="LineNr">457 </span>  <span class="Conceal">¦</span> <a href='011load.cc.html#L209'>skip_whitespace_and_comments</a><span class="Delimiter">(</span>in<span class="Delimiter">);</span>
<span id="L458" class="LineNr">458 </span>  <span class="Conceal">¦</span> string literal = <a href='011load.cc.html#L167'>next_word</a><span class="Delimiter">(</span>in<span class="Delimiter">);</span>
<span id="L459" class="LineNr">459 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>literal<span class="Delimiter">.</span>empty<span class="Delimiter">())</span> <span class="Delimiter">{</span>
<span id="L460" class="LineNr">460 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> assert<span class="Delimiter">(</span>!has_data<span class="Delimiter">(</span>in<span class="Delimiter">));</span>
<span id="L461" class="LineNr">461 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <a href='003trace.cc.html#L168'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span><a href='026call.cc.html#L85'>current_recipe_name</a><span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;incomplete 'memory-should-contain' block at <a href='003trace.cc.html#L197'>end</a> of file (3)</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>
<span id="L462" class="LineNr">462 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <span class="Identifier">return</span><span class="Delimiter">;</span>
<span id="L463" class="LineNr">463 </span>  <span class="Conceal">¦</span> <span class="Delimiter">}</span>
<span id="L464" class="LineNr">464 </span>  <span class="Conceal">¦</span> <span class="Normal">int</span> <a href='043space.cc.html#L82'>address</a> = x<span class="Delimiter">.</span>value<span class="Delimiter">;</span>
<span id="L465" class="LineNr">465 </span>  <span class="Conceal">¦</span> <span class="Comment">// exclude quoting brackets</span>
<span id="L466" class="LineNr">466 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>*literal<span class="Delimiter">.</span>begin<span class="Delimiter">()</span> != <span class="Constant">'['</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L467" class="LineNr">467 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <a href='003trace.cc.html#L168'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span><a href='026call.cc.html#L85'>current_recipe_name</a><span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;array:character types inside 'memory-should-contain' can only be compared with text literals surrounded by [], not '&quot;</span> &lt;&lt; literal &lt;&lt; <span class="Constant">&quot;'</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>
<span id="L468" class="LineNr">468 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <span class="Identifier">return</span><span class="Delimiter">;</span>
<span id="L469" class="LineNr">469 </span>  <span class="Conceal">¦</span> <span class="Delimiter">}</span>
<span id="L470" class="LineNr">470 </span>  <span class="Conceal">¦</span> literal<span class="Delimiter">.</span>erase<span class="Delimiter">(</span>literal<span class="Delimiter">.</span>begin<span class="Delimiter">());</span>
<span id="L471" class="LineNr">471 </span>  <span class="Conceal">¦</span> assert<span class="Delimiter">(</span>*--literal<span class="Delimiter">.</span><a href='003trace.cc.html#L197'>end</a><span class="Delimiter">()</span> == <span class="Constant">']'</span><span class="Delimiter">);</span>  literal<span class="Delimiter">.</span>erase<span class="Delimiter">(</span>--literal<span class="Delimiter">.</span><a href='003trace.cc.html#L197'>end</a><span class="Delimiter">());</span>
<span id="L472" class="LineNr">472 </span>  <span class="Conceal">¦</span> check_mu_text<span class="Delimiter">(</span><a href='043space.cc.html#L82'>address</a><span class="Delimiter">,</span> literal<span class="Delimiter">);</span>
<span id="L473" class="LineNr">473 </span>  <span class="Conceal">¦</span> <span class="Identifier">return</span><span class="Delimiter">;</span>
<span id="L474" class="LineNr">474 </span>  <span class="Delimiter">}</span>
<span id="L475" class="LineNr">475 </span>  <span class="Comment">// End Scenario Type Special-cases</span>
<span id="L476" class="LineNr">476 </span>  <a href='003trace.cc.html#L168'>raise</a> &lt;&lt; <span class="Constant">&quot;don't know how to check memory for '&quot;</span> &lt;&lt; lhs &lt;&lt; <span class="Constant">&quot;'</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; end<span class="Delimiter">();</span>
<span id="L477" class="LineNr">477 </span><span class="Delimiter">}</span>
<span id="L478" class="LineNr">478 </span>
<span id="L479" class="LineNr">479 </span><span class="Normal">void</span> check_mu_text<span class="Delimiter">(</span><span class="Normal">int</span> start<span class="Delimiter">,</span> <span class="Normal">const</span> string&amp; literal<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L480" class="LineNr">480 </span>  <a href='003trace.cc.html#L161'>trace</a><span class="Delimiter">(</span><span class="Constant">&quot;run&quot;</span><span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;checking text length at &quot;</span> &lt;&lt; start &lt;&lt; <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>
<span id="L481" class="LineNr">481 </span>  <span class="Normal">int</span> <a href='032array.cc.html#L397'>array_length</a> = <span class="Normal">static_cast</span>&lt;<span class="Normal">int</span>&gt;<span class="Delimiter">(</span><a href='001help.cc.html#L229'>get_or_insert</a><span class="Delimiter">(</span>Memory<span class="Delimiter">,</span> start<span class="Delimiter">));</span>
<span id="L482" class="LineNr">482 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span><a href='032array.cc.html#L397'>array_length</a> != <a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span>literal<span class="Delimiter">))</span> <span class="Delimiter">{</span>
<span id="L483" class="LineNr">483 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>!Hide_errors<span class="Delimiter">)</span> cerr &lt;&lt; <span class="cSpecial">'\n'</span><span class="Delimiter">;</span>
<span id="L484" class="LineNr">484 </span>  <span class="Conceal">¦</span> <a href='003trace.cc.html#L168'>raise</a> &lt;&lt; <span class="Constant">&quot;F - &quot;</span> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span><a href='026call.cc.html#L85'>current_recipe_name</a><span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;expected location '&quot;</span> &lt;&lt; start &lt;&lt; <span class="Constant">&quot;' to contain length &quot;</span> &lt;&lt; <a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span>literal<span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot; of text [&quot;</span> &lt;&lt; literal &lt;&lt; <span class="Constant">&quot;] but saw &quot;</span> &lt;&lt; <a href='032array.cc.html#L397'>array_length</a> &lt;&lt; <span class="Constant">&quot; (for text [&quot;</span> &lt;&lt; <a href='038new_text.cc.html#L151'>read_mu_characters</a><span class="Delimiter">(</span>start+<span class="Comment">/*</span><span class="Comment">skip length</span><span class="Comment">*/</span><span class="Constant">1</span><span class="Delimiter">,</span> <a href='032array.cc.html#L397'>array_length</a><span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;])</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>
<span id="L485" class="LineNr">485 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>!Scenario_testing_scenario<span class="Delimiter">)</span> Passed = <span class="Constant">false</span><span class="Delimiter">;</span>
<span id="L486" class="LineNr">486 </span>  <span class="Conceal">¦</span> <span class="Identifier">return</span><span class="Delimiter">;</span>
<span id="L487" class="LineNr">487 </span>  <span class="Delimiter">}</span>
<span id="L488" class="LineNr">488 </span>  <span class="Normal">int</span> curr = start+<span class="Constant">1</span><span class="Delimiter">;</span>  <span class="Comment">// now skip length</span>
<span id="L489" class="LineNr">489 </span>  <span class="Normal">for</span> <span class="Delimiter">(</span><span class="Normal">int</span> i = <span class="Constant">0</span><span class="Delimiter">;</span>  i &lt; <a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span>literal<span class="Delimiter">);</span>  ++i<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L490" class="LineNr">490 </span>  <span class="Conceal">¦</span> <a href='003trace.cc.html#L161'>trace</a><span class="Delimiter">(</span><span class="Constant">&quot;run&quot;</span><span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;checking location &quot;</span> &lt;&lt; curr+i &lt;&lt; <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>
<span id="L491" class="LineNr">491 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L229'>get_or_insert</a><span class="Delimiter">(</span>Memory<span class="Delimiter">,</span> curr+i<span class="Delimiter">)</span> != literal<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">))</span> <span class="Delimiter">{</span>
<span id="L492" class="LineNr">492 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>!Hide_errors<span class="Delimiter">)</span> cerr &lt;&lt; <span class="cSpecial">'\n'</span><span class="Delimiter">;</span>
<span id="L493" class="LineNr">493 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <a href='003trace.cc.html#L168'>raise</a> &lt;&lt; <span class="Constant">&quot;F - &quot;</span> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span><a href='026call.cc.html#L85'>current_recipe_name</a><span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;expected location &quot;</span> &lt;&lt; <span class="Delimiter">(</span>curr+i<span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot; to contain &quot;</span> &lt;&lt; literal<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot; but saw &quot;</span> &lt;&lt; no_scientific<span class="Delimiter">(</span><a href='001help.cc.html#L229'>get_or_insert</a><span class="Delimiter">(</span>Memory<span class="Delimiter">,</span> curr+i<span class="Delimiter">))</span> &lt;&lt; <span class="cSpecial">'\n'</span> &lt;&lt; <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>
<span id="L494" class="LineNr">494 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>!Scenario_testing_scenario<span class="Delimiter">)</span> Passed = <span class="Constant">false</span><span class="Delimiter">;</span>
<span id="L495" class="LineNr">495 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <span class="Identifier">return</span><span class="Delimiter">;</span>
<span id="L496" class="LineNr">496 </span>  <span class="Conceal">¦</span> <span class="Delimiter">}</span>
<span id="L497" class="LineNr">497 </span>  <span class="Delimiter">}</span>
<span id="L498" class="LineNr">498 </span><span class="Delimiter">}</span>
<span id="L499" class="LineNr">499 </span>
<span id="L500" class="LineNr">500 </span><span class="Delimiter">:(scenario memory_check_multiple)</span>
<span id="L501" class="LineNr">501 </span><span class="Special">% Scenario_testing_scenario = true;</span>
<span id="L502" class="LineNr">502 </span><span class="Special">% Hide_errors = true;</span>
<span id="L503" class="LineNr">503 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [
<span id="L504" class="LineNr">504 </span>  memory-should-contain [
<span id="L505" class="LineNr">505 </span>  <span class="Conceal">¦</span> <span class="Constant">1</span><span class="Special"> &lt;- </span><span class="Constant">0</span>
<span id="L506" class="LineNr">506 </span>  <span class="Conceal">¦</span> <span class="Constant">1</span><span class="Special"> &lt;- </span><span class="Constant">0</span>
<span id="L507" class="LineNr">507 </span>  ]
<span id="L508" class="LineNr">508 </span>]
<span id="L509" class="LineNr">509 </span><span class="traceContains">+error: <a href='000organization.cc.html#L113'>main</a>: duplicate expectation for location '1'</span>
<span id="L510" class="LineNr">510 </span>
<span id="L511" class="LineNr">511 </span><span class="Delimiter">:(scenario memory_check_mu_text_length)</span>
<span id="L512" class="LineNr">512 </span><span class="Special">% Scenario_testing_scenario = true;</span>
<span id="L513" class="LineNr">513 </span><span class="Special">% Hide_errors = true;</span>
<span id="L514" class="LineNr">514 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [
<span id="L515" class="LineNr">515 </span>  <span class="Constant">1</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">3</span>
<span id="L516" class="LineNr">516 </span>  <span class="Constant">2</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">97</span>  <span class="Comment"># 'a'</span>
<span id="L517" class="LineNr">517 </span>  <span class="Constant">3</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">98</span>  <span class="Comment"># 'b'</span>
<span id="L518" class="LineNr">518 </span>  <span class="Constant">4</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">99</span>  <span class="Comment"># 'c'</span>
<span id="L519" class="LineNr">519 </span>  memory-should-contain [
<span id="L520" class="LineNr">520 </span>  <span class="Conceal">¦</span> <span class="Constant">1</span>:array:character<span class="Special"> &lt;- </span>[ab]
<span id="L521" class="LineNr">521 </span>  ]
<span id="L522" class="LineNr">522 </span>]
<span id="L523" class="LineNr">523 </span><span class="traceContains">+error: F - <a href='000organization.cc.html#L113'>main</a>: expected location '1' to contain length 2 of text [ab] but saw 3 (for text [abc])</span>
<span id="L524" class="LineNr">524 </span>
<span id="L525" class="LineNr">525 </span><span class="Delimiter">:(scenario memory_check_mu_text)</span>
<span id="L526" class="LineNr">526 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [
<span id="L527" class="LineNr">527 </span>  <span class="Constant">1</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">3</span>
<span id="L528" class="LineNr">528 </span>  <span class="Constant">2</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">97</span>  <span class="Comment"># 'a'</span>
<span id="L529" class="LineNr">529 </span>  <span class="Constant">3</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">98</span>  <span class="Comment"># 'b'</span>
<span id="L530" class="LineNr">530 </span>  <span class="Constant">4</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">99</span>  <span class="Comment"># 'c'</span>
<span id="L531" class="LineNr">531 </span>  memory-should-contain [
<span id="L532" class="LineNr">532 </span>  <span class="Conceal">¦</span> <span class="Constant">1</span>:array:character<span class="Special"> &lt;- </span>[abc]
<span id="L533" class="LineNr">533 </span>  ]
<span id="L534" class="LineNr">534 </span>]
<span id="L535" class="LineNr">535 </span><span class="traceContains">+run: checking text length at 1</span>
<span id="L536" class="LineNr">536 </span><span class="traceContains">+run: checking location 2</span>
<span id="L537" class="LineNr">537 </span><span class="traceContains">+run: checking location 3</span>
<span id="L538" class="LineNr">538 </span><span class="traceContains">+run: checking location 4</span>
<span id="L539" class="LineNr">539 </span>
<span id="L540" class="LineNr">540 </span><span class="Delimiter">:(scenario memory_invalid_string_check)</span>
<span id="L541" class="LineNr">541 </span><span class="Special">% Scenario_testing_scenario = true;</span>
<span id="L542" class="LineNr">542 </span><span class="Special">% Hide_errors = true;</span>
<span id="L543" class="LineNr">543 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [
<span id="L544" class="LineNr">544 </span>  memory-should-contain [
<span id="L545" class="LineNr">545 </span>  <span class="Conceal">¦</span> <span class="Constant">1</span><span class="Special"> &lt;- </span>[abc]
<span id="L546" class="LineNr">546 </span>  ]
<span id="L547" class="LineNr">547 </span>]
<span id="L548" class="LineNr">548 </span><span class="traceContains">+error: F - <a href='000organization.cc.html#L113'>main</a>: location '1' can't contain non-number [abc]</span>
<span id="L549" class="LineNr">549 </span>
<span id="L550" class="LineNr">550 </span><span class="Delimiter">:(scenario memory_invalid_string_check2)</span>
<span id="L551" class="LineNr">551 </span><span class="Special">% Hide_errors = true;</span>
<span id="L552" class="LineNr">552 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [
<span id="L553" class="LineNr">553 </span>  <span class="Constant">1</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">3</span>
<span id="L554" class="LineNr">554 </span>  <span class="Constant">2</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">97</span>  <span class="Comment"># 'a'</span>
<span id="L555" class="LineNr">555 </span>  <span class="Constant">3</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">98</span>  <span class="Comment"># 'b'</span>
<span id="L556" class="LineNr">556 </span>  <span class="Constant">4</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">99</span>  <span class="Comment"># 'c'</span>
<span id="L557" class="LineNr">557 </span>  memory-should-contain [
<span id="L558" class="LineNr">558 </span>  <span class="Conceal">¦</span> <span class="Constant">1</span>:array:character<span class="Special"> &lt;- </span><span class="Constant">0</span>
<span id="L559" class="LineNr">559 </span>  ]
<span id="L560" class="LineNr">560 </span>]
<span id="L561" class="LineNr">561 </span><span class="traceContains">+error: <a href='000organization.cc.html#L113'>main</a>: array:character types inside 'memory-should-contain' can only be compared with text literals surrounded by [], not '0'</span>
<span id="L562" class="LineNr">562 </span>
<span id="L563" class="LineNr">563 </span><span class="Delimiter">:(scenario memory_check_with_comment)</span>
<span id="L564" class="LineNr">564 </span><span class="Special">% Scenario_testing_scenario = true;</span>
<span id="L565" class="LineNr">565 </span><span class="Special">% Hide_errors = true;</span>
<span id="L566" class="LineNr">566 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [
<span id="L567" class="LineNr">567 </span>  memory-should-contain [
<span id="L568" class="LineNr">568 </span>  <span class="Conceal">¦</span> <span class="Constant">1</span><span class="Special"> &lt;- </span><span class="Constant">34</span>  <span class="Comment"># comment</span>
<span id="L569" class="LineNr">569 </span>  ]
<span id="L570" class="LineNr">570 </span>]
<span id="L571" class="LineNr">571 </span><span class="traceAbsent">-error: location 1 can't contain non-number 34  # comment</span>
<span id="L572" class="LineNr">572 </span><span class="Comment"># but there'll be an error signalled by memory-should-contain</span>
<span id="L573" class="LineNr">573 </span>
<span id="L574" class="LineNr">574 </span><span class="Comment">//: 'trace-should-contain' is like the '+' lines in our scenarios so far</span>
<span id="L575" class="LineNr">575 </span><span class="Comment">// Like runs of contiguous '+' lines, order is important. The trace checks</span>
<span id="L576" class="LineNr">576 </span><span class="Comment">// that the lines are present *and* in the specified sequence. (There can be</span>
<span id="L577" class="LineNr">577 </span><span class="Comment">// other lines in between.)</span>
<span id="L578" class="LineNr">578 </span>
<span id="L579" class="LineNr">579 </span><span class="Delimiter">:(scenario trace_check_fails)</span>
<span id="L580" class="LineNr">580 </span><span class="Special">% Scenario_testing_scenario = true;</span>
<span id="L581" class="LineNr">581 </span><span class="Special">% Hide_errors = true;</span>
<span id="L582" class="LineNr">582 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [
<span id="L583" class="LineNr">583 </span>  trace-should-contain [
<span id="L584" class="LineNr">584 </span>  <span class="Conceal">¦</span> <span class="Normal">a</span>: b
<span id="L585" class="LineNr">585 </span>  <span class="Conceal">¦</span> <span class="Normal">a</span>: d
<span id="L586" class="LineNr">586 </span>  ]
<span id="L587" class="LineNr">587 </span>]
<span id="L588" class="LineNr">588 </span><span class="traceContains">+error: F - <a href='000organization.cc.html#L113'>main</a>: missing [b] in <a href='003trace.cc.html#L161'>trace</a> with label 'a'</span>
<span id="L589" class="LineNr">589 </span>
<span id="L590" class="LineNr">590 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Declarations&quot;)</span>
<span id="L591" class="LineNr">591 </span>TRACE_SHOULD_CONTAIN<span class="Delimiter">,</span>
<span id="L592" class="LineNr">592 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Numbers&quot;)</span>
<span id="L593" class="LineNr">593 </span><a href='001help.cc.html#L221'>put</a><span class="Delimiter">(</span>Recipe_ordinal<span class="Delimiter">,</span> <span class="Constant">&quot;trace-should-contain&quot;</span><span class="Delimiter">,</span> TRACE_SHOULD_CONTAIN<span class="Delimiter">);</span>
<span id="L594" class="LineNr">594 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Checks&quot;)</span>
<span id="L595" class="LineNr">595 </span><span class="Normal">case</span> TRACE_SHOULD_CONTAIN: <span class="Delimiter">{</span>
<span id="L596" class="LineNr">596 </span>  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L597" class="LineNr">597 </span><span class="Delimiter">}</span>
<span id="L598" class="LineNr">598 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Implementations&quot;)</span>
<span id="L599" class="LineNr">599 </span><span class="Normal">case</span> TRACE_SHOULD_CONTAIN: <span class="Delimiter">{</span>
<span id="L600" class="LineNr">600 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!Passed<span class="Delimiter">)</span> <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L601" class="LineNr">601 </span>  check_trace<span class="Delimiter">(</span><a href='026call.cc.html#L87'>current_instruction</a><span class="Delimiter">().</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>name<span class="Delimiter">);</span>
<span id="L602" class="LineNr">602 </span>  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L603" class="LineNr">603 </span><span class="Delimiter">}</span>
<span id="L604" class="LineNr">604 </span>
<span id="L605" class="LineNr">605 </span><span class="Delimiter">:(code)</span>
<span id="L606" class="LineNr">606 </span><span class="Comment">// simplified version of check_trace_contents() that emits errors rather</span>
<span id="L607" class="LineNr">607 </span><span class="Comment">// than just printing to stderr</span>
<span id="L608" class="LineNr">608 </span><span class="Normal">void</span> check_trace<span class="Delimiter">(</span><span class="Normal">const</span> string&amp; expected<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L609" class="LineNr">609 </span>  Trace_stream<span class="Delimiter">-&gt;</span><a href='003trace.cc.html#L127'>newline</a><span class="Delimiter">();</span>
<span id="L610" class="LineNr">610 </span>  vector&lt;trace_line&gt; expected_lines = parse_trace<span class="Delimiter">(</span>expected<span class="Delimiter">);</span>
<span id="L611" class="LineNr">611 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>expected_lines<span class="Delimiter">.</span>empty<span class="Delimiter">())</span> <span class="Identifier">return</span><span class="Delimiter">;</span>
<span id="L612" class="LineNr">612 </span>  <span class="Normal">int</span> curr_expected_line = <span class="Constant">0</span><span class="Delimiter">;</span>
<span id="L613" class="LineNr">613 </span>  <span class="Normal">for</span> <span class="Delimiter">(</span>vector&lt;trace_line&gt;::iterator p = Trace_stream<span class="Delimiter">-&gt;</span>past_lines<span class="Delimiter">.</span>begin<span class="Delimiter">();</span>  p != Trace_stream<span class="Delimiter">-&gt;</span>past_lines<span class="Delimiter">.</span><a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>  ++p<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L614" class="LineNr">614 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>expected_lines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>curr_expected_line<span class="Delimiter">).</span>label != p<span class="Delimiter">-&gt;</span>label<span class="Delimiter">)</span> <span class="Identifier">continue</span><span class="Delimiter">;</span>
<span id="L615" class="LineNr">615 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>expected_lines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>curr_expected_line<span class="Delimiter">).</span>contents != <a href='003trace.cc.html#L367'>trim</a><span class="Delimiter">(</span>p<span class="Delimiter">-&gt;</span>contents<span class="Delimiter">))</span> <span class="Identifier">continue</span><span class="Delimiter">;</span>
<span id="L616" class="LineNr">616 </span>  <span class="Conceal">¦</span> <span class="Comment">// match</span>
<span id="L617" class="LineNr">617 </span>  <span class="Conceal">¦</span> ++curr_expected_line<span class="Delimiter">;</span>
<span id="L618" class="LineNr">618 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>curr_expected_line == <a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span>expected_lines<span class="Delimiter">))</span> <span class="Identifier">return</span><span class="Delimiter">;</span>
<span id="L619" class="LineNr">619 </span>  <span class="Delimiter">}</span>
<span id="L620" class="LineNr">620 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!Hide_errors<span class="Delimiter">)</span> cerr &lt;&lt; <span class="cSpecial">'\n'</span><span class="Delimiter">;</span>
<span id="L621" class="LineNr">621 </span>  <a href='003trace.cc.html#L168'>raise</a> &lt;&lt; <span class="Constant">&quot;F - &quot;</span> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span><a href='026call.cc.html#L85'>current_recipe_name</a><span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;missing [&quot;</span> &lt;&lt; expected_lines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>curr_expected_line<span class="Delimiter">).</span>contents &lt;&lt; <span class="Constant">&quot;] &quot;</span>
<span id="L622" class="LineNr">622 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <span class="Conceal">¦</span> &lt;&lt; <span class="Constant">&quot;in <a href='003trace.cc.html#L161'>trace</a> with label '&quot;</span> &lt;&lt; expected_lines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>curr_expected_line<span class="Delimiter">).</span>label &lt;&lt; <span class="Constant">&quot;'</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>
<span id="L623" class="LineNr">623 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!Hide_errors<span class="Delimiter">)</span>
<span id="L624" class="LineNr">624 </span>  <span class="Conceal">¦</span> <a href='003trace.cc.html#L165'>DUMP</a><span class="Delimiter">(</span>expected_lines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>curr_expected_line<span class="Delimiter">).</span>label<span class="Delimiter">);</span>
<span id="L625" class="LineNr">625 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!Scenario_testing_scenario<span class="Delimiter">)</span> Passed = <span class="Constant">false</span><span class="Delimiter">;</span>
<span id="L626" class="LineNr">626 </span><span class="Delimiter">}</span>
<span id="L627" class="LineNr">627 </span>
<span id="L628" class="LineNr">628 </span>vector&lt;trace_line&gt; parse_trace<span class="Delimiter">(</span><span class="Normal">const</span> string&amp; expected<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L629" class="LineNr">629 </span>  vector&lt;string&gt; buf = <a href='003trace.cc.html#L343'>split</a><span class="Delimiter">(</span>expected<span class="Delimiter">,</span> <span class="Constant">&quot;</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span><span class="Delimiter">);</span>
<span id="L630" class="LineNr">630 </span>  vector&lt;trace_line&gt; result<span class="Delimiter">;</span>
<span id="L631" class="LineNr">631 </span>  <span class="Normal">for</span> <span class="Delimiter">(</span><span class="Normal">int</span> i = <span class="Constant">0</span><span class="Delimiter">;</span>  i &lt; <a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span>buf<span class="Delimiter">);</span>  ++i<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L632" class="LineNr">632 </span>  <span class="Conceal">¦</span> buf<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">)</span> = <a href='003trace.cc.html#L367'>trim</a><span class="Delimiter">(</span>buf<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">));</span>
<span id="L633" class="LineNr">633 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>buf<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">).</span>empty<span class="Delimiter">())</span> <span class="Identifier">continue</span><span class="Delimiter">;</span>
<span id="L634" class="LineNr">634 </span>  <span class="Conceal">¦</span> <span class="Normal">int</span> delim = buf<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">).</span>find<span class="Delimiter">(</span><span class="Constant">&quot;: &quot;</span><span class="Delimiter">);</span>
<span id="L635" class="LineNr">635 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>delim == -<span class="Constant">1</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L636" class="LineNr">636 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <a href='003trace.cc.html#L168'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span><a href='026call.cc.html#L85'>current_recipe_name</a><span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;lines in 'trace-should-contain' should be of the form &lt;label&gt;: &lt;contents&gt;. Both parts are required.</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>
<span id="L637" class="LineNr">637 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> result<span class="Delimiter">.</span><a href='050scenario.cc.html#L60'>clear</a><span class="Delimiter">();</span>
<span id="L638" class="LineNr">638 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <span class="Identifier">return</span> result<span class="Delimiter">;</span>
<span id="L639" class="LineNr">639 </span>  <span class="Conceal">¦</span> <span class="Delimiter">}</span>
<span id="L640" class="LineNr">640 </span>  <span class="Conceal">¦</span> result<span class="Delimiter">.</span>push_back<span class="Delimiter">(</span>trace_line<span class="Delimiter">(</span><a href='003trace.cc.html#L367'>trim</a><span class="Delimiter">(</span>buf<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">).</span>substr<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">,</span> delim<span class="Delimiter">)),</span>  <a href='003trace.cc.html#L367'>trim</a><span class="Delimiter">(</span>buf<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">).</span>substr<span class="Delimiter">(</span>delim+<span class="Constant">2</span><span class="Delimiter">))));</span>
<span id="L641" class="LineNr">641 </span>  <span class="Delimiter">}</span>
<span id="L642" class="LineNr">642 </span>  <span class="Identifier">return</span> result<span class="Delimiter">;</span>
<span id="L643" class="LineNr">643 </span><span class="Delimiter">}</span>
<span id="L644" class="LineNr">644 </span>
<span id="L645" class="LineNr">645 </span><span class="Delimiter">:(scenario trace_check_fails_in_nonfirst_line)</span>
<span id="L646" class="LineNr">646 </span><span class="Special">% Scenario_testing_scenario = true;</span>
<span id="L647" class="LineNr">647 </span><span class="Special">% Hide_errors = true;</span>
<span id="L648" class="LineNr">648 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [
<span id="L649" class="LineNr">649 </span>  run [
<span id="L650" class="LineNr">650 </span>  <span class="Conceal">¦</span> <a href='003trace.cc.html#L161'>trace</a> <span class="Constant">1</span><span class="Delimiter">,</span> [a]<span class="Delimiter">,</span> [b]
<span id="L651" class="LineNr">651 </span>  ]
<span id="L652" class="LineNr">652 </span>  trace-should-contain [
<span id="L653" class="LineNr">653 </span>  <span class="Conceal">¦</span> <span class="Normal">a</span>: b
<span id="L654" class="LineNr">654 </span>  <span class="Conceal">¦</span> <span class="Normal">a</span>: d
<span id="L655" class="LineNr">655 </span>  ]
<span id="L656" class="LineNr">656 </span>]
<span id="L657" class="LineNr">657 </span><span class="traceContains">+error: F - <a href='000organization.cc.html#L113'>main</a>: missing [d] in <a href='003trace.cc.html#L161'>trace</a> with label 'a'</span>
<span id="L658" class="LineNr">658 </span>
<span id="L659" class="LineNr">659 </span><span class="Delimiter">:(scenario trace_check_passes_silently)</span>
<span id="L660" class="LineNr">660 </span><span class="Special">% Scenario_testing_scenario = true;</span>
<span id="L661" class="LineNr">661 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [
<span id="L662" class="LineNr">662 </span>  run [
<span id="L663" class="LineNr">663 </span>  <span class="Conceal">¦</span> <a href='003trace.cc.html#L161'>trace</a> <span class="Constant">1</span><span class="Delimiter">,</span> [a]<span class="Delimiter">,</span> [b]
<span id="L664" class="LineNr">664 </span>  ]
<span id="L665" class="LineNr">665 </span>  trace-should-contain [
<span id="L666" class="LineNr">666 </span>  <span class="Conceal">¦</span> <span class="Normal">a</span>: b
<span id="L667" class="LineNr">667 </span>  ]
<span id="L668" class="LineNr">668 </span>]
<span id="L669" class="LineNr">669 </span><span class="traceAbsent">-error: missing [b] in <a href='003trace.cc.html#L161'>trace</a> with label 'a'</span>
<span id="L670" class="LineNr">670 </span>$error: <span class="Constant">0</span>
<span id="L671" class="LineNr">671 </span>
<span id="L672" class="LineNr">672 </span><span class="Comment">//: 'trace-should-not-contain' is like the '-' lines in our scenarios so far</span>
<span id="L673" class="LineNr">673 </span><span class="Comment">//: Each trace line is separately checked for absense. Order is *not*</span>
<span id="L674" class="LineNr">674 </span><span class="Comment">//: important, so you can't say things like &quot;B should not exist after A.&quot;</span>
<span id="L675" class="LineNr">675 </span>
<span id="L676" class="LineNr">676 </span><span class="Delimiter">:(scenario trace_negative_check_fails)</span>
<span id="L677" class="LineNr">677 </span><span class="Special">% Scenario_testing_scenario = true;</span>
<span id="L678" class="LineNr">678 </span><span class="Special">% Hide_errors = true;</span>
<span id="L679" class="LineNr">679 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [
<span id="L680" class="LineNr">680 </span>  run [
<span id="L681" class="LineNr">681 </span>  <span class="Conceal">¦</span> <a href='003trace.cc.html#L161'>trace</a> <span class="Constant">1</span><span class="Delimiter">,</span> [a]<span class="Delimiter">,</span> [b]
<span id="L682" class="LineNr">682 </span>  ]
<span id="L683" class="LineNr">683 </span>  trace-should-<span class="Normal">not</span>-contain [
<span id="L684" class="LineNr">684 </span>  <span class="Conceal">¦</span> <span class="Normal">a</span>: b
<span id="L685" class="LineNr">685 </span>  ]
<span id="L686" class="LineNr">686 </span>]
<span id="L687" class="LineNr">687 </span><span class="traceContains">+error: F - <a href='000organization.cc.html#L113'>main</a>: unexpected [b] in <a href='003trace.cc.html#L161'>trace</a> with label 'a'</span>
<span id="L688" class="LineNr">688 </span>
<span id="L689" class="LineNr">689 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Declarations&quot;)</span>
<span id="L690" class="LineNr">690 </span>TRACE_SHOULD_NOT_CONTAIN<span class="Delimiter">,</span>
<span id="L691" class="LineNr">691 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Numbers&quot;)</span>
<span id="L692" class="LineNr">692 </span><a href='001help.cc.html#L221'>put</a><span class="Delimiter">(</span>Recipe_ordinal<span class="Delimiter">,</span> <span class="Constant">&quot;trace-should-not-contain&quot;</span><span class="Delimiter">,</span> TRACE_SHOULD_NOT_CONTAIN<span class="Delimiter">);</span>
<span id="L693" class="LineNr">693 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Checks&quot;)</span>
<span id="L694" class="LineNr">694 </span><span class="Normal">case</span> TRACE_SHOULD_NOT_CONTAIN: <span class="Delimiter">{</span>
<span id="L695" class="LineNr">695 </span>  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L696" class="LineNr">696 </span><span class="Delimiter">}</span>
<span id="L697" class="LineNr">697 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Implementations&quot;)</span>
<span id="L698" class="LineNr">698 </span><span class="Normal">case</span> TRACE_SHOULD_NOT_CONTAIN: <span class="Delimiter">{</span>
<span id="L699" class="LineNr">699 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!Passed<span class="Delimiter">)</span> <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L700" class="LineNr">700 </span>  check_trace_missing<span class="Delimiter">(</span><a href='026call.cc.html#L87'>current_instruction</a><span class="Delimiter">().</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>name<span class="Delimiter">);</span>
<span id="L701" class="LineNr">701 </span>  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L702" class="LineNr">702 </span><span class="Delimiter">}</span>
<span id="L703" class="LineNr">703 </span>
<span id="L704" class="LineNr">704 </span><span class="Delimiter">:(code)</span>
<span id="L705" class="LineNr">705 </span><span class="Comment">// simplified version of check_trace_contents() that emits errors rather</span>
<span id="L706" class="LineNr">706 </span><span class="Comment">// than just printing to stderr</span>
<span id="L707" class="LineNr">707 </span><span class="Normal">bool</span> check_trace_missing<span class="Delimiter">(</span><span class="Normal">const</span> string&amp; in<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L708" class="LineNr">708 </span>  Trace_stream<span class="Delimiter">-&gt;</span><a href='003trace.cc.html#L127'>newline</a><span class="Delimiter">();</span>
<span id="L709" class="LineNr">709 </span>  vector&lt;trace_line&gt; lines = parse_trace<span class="Delimiter">(</span>in<span class="Delimiter">);</span>
<span id="L710" class="LineNr">710 </span>  <span class="Normal">for</span> <span class="Delimiter">(</span><span class="Normal">int</span> i = <span class="Constant">0</span><span class="Delimiter">;</span>  i &lt; <a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span>lines<span class="Delimiter">);</span>  ++i<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L711" class="LineNr">711 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>trace_count<span class="Delimiter">(</span>lines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">).</span>label<span class="Delimiter">,</span> lines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">).</span>contents<span class="Delimiter">)</span> != <span class="Constant">0</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L712" class="LineNr">712 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <a href='003trace.cc.html#L168'>raise</a> &lt;&lt; <span class="Constant">&quot;F - &quot;</span> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span><a href='026call.cc.html#L85'>current_recipe_name</a><span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;unexpected [&quot;</span> &lt;&lt; lines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">).</span>contents &lt;&lt; <span class="Constant">&quot;] in <a href='003trace.cc.html#L161'>trace</a> with label '&quot;</span> &lt;&lt; lines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">).</span>label &lt;&lt; <span class="Constant">&quot;'</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>
<span id="L713" class="LineNr">713 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>!Scenario_testing_scenario<span class="Delimiter">)</span> Passed = <span class="Constant">false</span><span class="Delimiter">;</span>
<span id="L714" class="LineNr">714 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <span class="Identifier">return</span> <span class="Constant">false</span><span class="Delimiter">;</span>
<span id="L715" class="LineNr">715 </span>  <span class="Conceal">¦</span> <span class="Delimiter">}</span>
<span id="L716" class="LineNr">716 </span>  <span class="Delimiter">}</span>
<span id="L717" class="LineNr">717 </span>  <span class="Identifier">return</span> <span class="Constant">true</span><span class="Delimiter">;</span>
<span id="L718" class="LineNr">718 </span><span class="Delimiter">}</span>
<span id="L719" class="LineNr">719 </span>
<span id="L720" class="LineNr">720 </span><span class="Delimiter">:(scenario trace_negative_check_passes_silently)</span>
<span id="L721" class="LineNr">721 </span><span class="Special">% Scenario_testing_scenario = true;</span>
<span id="L722" class="LineNr">722 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [
<span id="L723" class="LineNr">723 </span>  trace-should-<span class="Normal">not</span>-contain [
<span id="L724" class="LineNr">724 </span>  <span class="Conceal">¦</span> <span class="Normal">a</span>: b
<span id="L725" class="LineNr">725 </span>  ]
<span id="L726" class="LineNr">726 </span>]
<span id="L727" class="LineNr">727 </span><span class="traceAbsent">-error: unexpected [b] in <a href='003trace.cc.html#L161'>trace</a> with label 'a'</span>
<span id="L728" class="LineNr">728 </span>$error: <span class="Constant">0</span>
<span id="L729" class="LineNr">729 </span>
<span id="L730" class="LineNr">730 </span><span class="Delimiter">:(scenario trace_negative_check_fails_on_any_unexpected_line)</span>
<span id="L731" class="LineNr">731 </span><span class="Special">% Scenario_testing_scenario = true;</span>
<span id="L732" class="LineNr">732 </span><span class="Special">% Hide_errors = true;</span>
<span id="L733" class="LineNr">733 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [
<span id="L734" class="LineNr">734 </span>  run [
<span id="L735" class="LineNr">735 </span>  <span class="Conceal">¦</span> <a href='003trace.cc.html#L161'>trace</a> <span class="Constant">1</span><span class="Delimiter">,</span> [a]<span class="Delimiter">,</span> [d]
<span id="L736" class="LineNr">736 </span>  ]
<span id="L737" class="LineNr">737 </span>  trace-should-<span class="Normal">not</span>-contain [
<span id="L738" class="LineNr">738 </span>  <span class="Conceal">¦</span> <span class="Normal">a</span>: b
<span id="L739" class="LineNr">739 </span>  <span class="Conceal">¦</span> <span class="Normal">a</span>: d
<span id="L740" class="LineNr">740 </span>  ]
<span id="L741" class="LineNr">741 </span>]
<span id="L742" class="LineNr">742 </span><span class="traceContains">+error: F - <a href='000organization.cc.html#L113'>main</a>: unexpected [d] in <a href='003trace.cc.html#L161'>trace</a> with label 'a'</span>
<span id="L743" class="LineNr">743 </span>
<span id="L744" class="LineNr">744 </span><span class="Delimiter">:(scenario trace_count_check)</span>
<span id="L745" class="LineNr">745 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [
<span id="L746" class="LineNr">746 </span>  run [
<span id="L747" class="LineNr">747 </span>  <span class="Conceal">¦</span> <a href='003trace.cc.html#L161'>trace</a> <span class="Constant">1</span><span class="Delimiter">,</span> [a]<span class="Delimiter">,</span> [foo]
<span id="L748" class="LineNr">748 </span>  ]
<span id="L749" class="LineNr">749 </span>  check-trace-count-<span class="Normal">for</span>-label <span class="Constant">1</span><span class="Delimiter">,</span> [a]
<span id="L750" class="LineNr">750 </span>]
<span id="L751" class="LineNr">751 </span><span class="Comment"># checks are inside scenario</span>
<span id="L752" class="LineNr">752 </span>
<span id="L753" class="LineNr">753 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Declarations&quot;)</span>
<span id="L754" class="LineNr">754 </span>CHECK_TRACE_COUNT_FOR_LABEL<span class="Delimiter">,</span>
<span id="L755" class="LineNr">755 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Numbers&quot;)</span>
<span id="L756" class="LineNr">756 </span><a href='001help.cc.html#L221'>put</a><span class="Delimiter">(</span>Recipe_ordinal<span class="Delimiter">,</span> <span class="Constant">&quot;check-trace-count-for-label&quot;</span><span class="Delimiter">,</span> CHECK_TRACE_COUNT_FOR_LABEL<span class="Delimiter">);</span>
<span id="L757" class="LineNr">757 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Checks&quot;)</span>
<span id="L758" class="LineNr">758 </span><span class="Normal">case</span> CHECK_TRACE_COUNT_FOR_LABEL: <span class="Delimiter">{</span>
<span id="L759" class="LineNr">759 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span>inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">)</span> != <span class="Constant">2</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L760" class="LineNr">760 </span>  <span class="Conceal">¦</span> <a href='003trace.cc.html#L168'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span>get<span class="Delimiter">(</span>Recipe<span class="Delimiter">,</span> r<span class="Delimiter">).</span>name<span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;'check-trace-count-for-label' requires exactly two ingredients, but got '&quot;</span> &lt;&lt; to_original_string<span class="Delimiter">(</span>inst<span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;'</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>
<span id="L761" class="LineNr">761 </span>  <span class="Conceal">¦</span> <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L762" class="LineNr">762 </span>  <span class="Delimiter">}</span>
<span id="L763" class="LineNr">763 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!is_mu_number<span class="Delimiter">(</span>inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">)))</span> <span class="Delimiter">{</span>
<span id="L764" class="LineNr">764 </span>  <span class="Conceal">¦</span> <a href='003trace.cc.html#L168'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span>get<span class="Delimiter">(</span>Recipe<span class="Delimiter">,</span> r<span class="Delimiter">).</span>name<span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;first ingredient of 'check-trace-count-for-label' should be a number (count), but got '&quot;</span> &lt;&lt; inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>original_string &lt;&lt; <span class="Constant">&quot;'</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>
<span id="L765" class="LineNr">765 </span>  <span class="Conceal">¦</span> <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L766" class="LineNr">766 </span>  <span class="Delimiter">}</span>
<span id="L767" class="LineNr">767 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!is_literal_text<span class="Delimiter">(</span>inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">1</span><span class="Delimiter">)))</span> <span class="Delimiter">{</span>
<span id="L768" class="LineNr">768 </span>  <span class="Conceal">¦</span> <a href='003trace.cc.html#L168'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span>get<span class="Delimiter">(</span>Recipe<span class="Delimiter">,</span> r<span class="Delimiter">).</span>name<span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;second ingredient of 'check-trace-count-for-label' should be a literal string (label), but got '&quot;</span> &lt;&lt; inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">1</span><span class="Delimiter">).</span>original_string &lt;&lt; <span class="Constant">&quot;'</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>
<span id="L769" class="LineNr">769 </span>  <span class="Conceal">¦</span> <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L770" class="LineNr">770 </span>  <span class="Delimiter">}</span>
<span id="L771" class="LineNr">771 </span>  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L772" class="LineNr">772 </span><span class="Delimiter">}</span>
<span id="L773" class="LineNr">773 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Implementations&quot;)</span>
<span id="L774" class="LineNr">774 </span><span class="Normal">case</span> CHECK_TRACE_COUNT_FOR_LABEL: <span class="Delimiter">{</span>
<span id="L775" class="LineNr">775 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!Passed<span class="Delimiter">)</span> <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L776" class="LineNr">776 </span>  <span class="Normal">int</span> expected_count = ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">);</span>
<span id="L777" class="LineNr">777 </span>  string label = <a href='026call.cc.html#L87'>current_instruction</a><span class="Delimiter">().</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">1</span><span class="Delimiter">).</span>name<span class="Delimiter">;</span>
<span id="L778" class="LineNr">778 </span>  <span class="Normal">int</span> count = trace_count<span class="Delimiter">(</span>label<span class="Delimiter">);</span>
<span id="L779" class="LineNr">779 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>count != expected_count<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L780" class="LineNr">780 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>!Hide_errors<span class="Delimiter">)</span> cerr &lt;&lt; <span class="cSpecial">'\n'</span><span class="Delimiter">;</span>
<span id="L781" class="LineNr">781 </span>  <span class="Conceal">¦</span> <a href='003trace.cc.html#L168'>raise</a> &lt;&lt; <span class="Constant">&quot;F - &quot;</span> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span><a href='026call.cc.html#L85'>current_recipe_name</a><span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;expected &quot;</span> &lt;&lt; expected_count &lt;&lt; <span class="Constant">&quot; lines in <a href='003trace.cc.html#L161'>trace</a> with label '&quot;</span> &lt;&lt; label &lt;&lt; <span class="Constant">&quot;' in <a href='003trace.cc.html#L161'>trace</a></span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>
<span id="L782" class="LineNr">782 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>!Hide_errors<span class="Delimiter">)</span> <a href='003trace.cc.html#L165'>DUMP</a><span class="Delimiter">(</span>label<span class="Delimiter">);</span>
<span id="L783" class="LineNr">783 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>!Scenario_testing_scenario<span class="Delimiter">)</span> Passed = <span class="Constant">false</span><span class="Delimiter">;</span>
<span id="L784" class="LineNr">784 </span>  <span class="Delimiter">}</span>
<span id="L785" class="LineNr">785 </span>  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L786" class="LineNr">786 </span><span class="Delimiter">}</span>
<span id="L787" class="LineNr">787 </span>
<span id="L788" class="LineNr">788 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Declarations&quot;)</span>
<span id="L789" class="LineNr">789 </span>CHECK_TRACE_COUNT_FOR_LABEL_GREATER_THAN<span class="Delimiter">,</span>
<span id="L790" class="LineNr">790 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Numbers&quot;)</span>
<span id="L791" class="LineNr">791 </span><a href='001help.cc.html#L221'>put</a><span class="Delimiter">(</span>Recipe_ordinal<span class="Delimiter">,</span> <span class="Constant">&quot;check-trace-count-for-label-greater-than&quot;</span><span class="Delimiter">,</span> CHECK_TRACE_COUNT_FOR_LABEL_GREATER_THAN<span class="Delimiter">);</span>
<span id="L792" class="LineNr">792 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Checks&quot;)</span>
<span id="L793" class="LineNr">793 </span><span class="Normal">case</span> CHECK_TRACE_COUNT_FOR_LABEL_GREATER_THAN: <span class="Delimiter">{</span>
<span id="L794" class="LineNr">794 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span>inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">)</span> != <span class="Constant">2</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L795" class="LineNr">795 </span>  <span class="Conceal">¦</span> <a href='003trace.cc.html#L168'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span>get<span class="Delimiter">(</span>Recipe<span class="Delimiter">,</span> r<span class="Delimiter">).</span>name<span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;'check-trace-count-for-label' requires exactly two ingredients, but got '&quot;</span> &lt;&lt; to_original_string<span class="Delimiter">(</span>inst<span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;'</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>
<span id="L796" class="LineNr">796 </span>  <span class="Conceal">¦</span> <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L797" class="LineNr">797 </span>  <span class="Delimiter">}</span>
<span id="L798" class="LineNr">798 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!is_mu_number<span class="Delimiter">(</span>inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">)))</span> <span class="Delimiter">{</span>
<span id="L799" class="LineNr">799 </span>  <span class="Conceal">¦</span> <a href='003trace.cc.html#L168'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span>get<span class="Delimiter">(</span>Recipe<span class="Delimiter">,</span> r<span class="Delimiter">).</span>name<span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;first ingredient of 'check-trace-count-for-label' should be a number (count), but got '&quot;</span> &lt;&lt; inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>original_string &lt;&lt; <span class="Constant">&quot;'</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>
<span id="L800" class="LineNr">800 </span>  <span class="Conceal">¦</span> <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L801" class="LineNr">801 </span>  <span class="Delimiter">}</span>
<span id="L802" class="LineNr">802 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!is_literal_text<span class="Delimiter">(</span>inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">1</span><span class="Delimiter">)))</span> <span class="Delimiter">{</span>
<span id="L803" class="LineNr">803 </span>  <span class="Conceal">¦</span> <a href='003trace.cc.html#L168'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span>get<span class="Delimiter">(</span>Recipe<span class="Delimiter">,</span> r<span class="Delimiter">).</span>name<span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;second ingredient of 'check-trace-count-for-label' should be a literal string (label), but got '&quot;</span> &lt;&lt; inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">1</span><span class="Delimiter">).</span>original_string &lt;&lt; <span class="Constant">&quot;'</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>
<span id="L804" class="LineNr">804 </span>  <span class="Conceal">¦</span> <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L805" class="LineNr">805 </span>  <span class="Delimiter">}</span>
<span id="L806" class="LineNr">806 </span>  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L807" class="LineNr">807 </span><span class="Delimiter">}</span>
<span id="L808" class="LineNr">808 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Implementations&quot;)</span>
<span id="L809" class="LineNr">809 </span><span class="Normal">case</span> CHECK_TRACE_COUNT_FOR_LABEL_GREATER_THAN: <span class="Delimiter">{</span>
<span id="L810" class="LineNr">810 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!Passed<span class="Delimiter">)</span> <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L811" class="LineNr">811 </span>  <span class="Normal">int</span> expected_count = ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">);</span>
<span id="L812" class="LineNr">812 </span>  string label = <a href='026call.cc.html#L87'>current_instruction</a><span class="Delimiter">().</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">1</span><span class="Delimiter">).</span>name<span class="Delimiter">;</span>
<span id="L813" class="LineNr">813 </span>  <span class="Normal">int</span> count = trace_count<span class="Delimiter">(</span>label<span class="Delimiter">);</span>
<span id="L814" class="LineNr">814 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>count &lt;= expected_count<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L815" class="LineNr">815 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>!Hide_errors<span class="Delimiter">)</span> cerr &lt;&lt; <span class="cSpecial">'\n'</span><span class="Delimiter">;</span>
<span id="L816" class="LineNr">816 </span>  <span class="Conceal">¦</span> <a href='003trace.cc.html#L168'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span><a href='026call.cc.html#L85'>current_recipe_name</a><span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;expected more than &quot;</span> &lt;&lt; expected_count &lt;&lt; <span class="Constant">&quot; lines in <a href='003trace.cc.html#L161'>trace</a> with label '&quot;</span> &lt;&lt; label &lt;&lt; <span class="Constant">&quot;' in <a href='003trace.cc.html#L161'>trace</a></span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>
<span id="L817" class="LineNr">817 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>!Hide_errors<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L818" class="LineNr">818 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> cerr &lt;&lt; <span class="Constant">&quot;trace contents:</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span><span class="Delimiter">;</span>
<span id="L819" class="LineNr">819 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <a href='003trace.cc.html#L165'>DUMP</a><span class="Delimiter">(</span>label<span class="Delimiter">);</span>
<span id="L820" class="LineNr">820 </span>  <span class="Conceal">¦</span> <span class="Delimiter">}</span>
<span id="L821" class="LineNr">821 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>!Scenario_testing_scenario<span class="Delimiter">)</span> Passed = <span class="Constant">false</span><span class="Delimiter">;</span>
<span id="L822" class="LineNr">822 </span>  <span class="Delimiter">}</span>
<span id="L823" class="LineNr">823 </span>  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L824" class="LineNr">824 </span><span class="Delimiter">}</span>
<span id="L825" class="LineNr">825 </span>
<span id="L826" class="LineNr">826 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Declarations&quot;)</span>
<span id="L827" class="LineNr">827 </span>CHECK_TRACE_COUNT_FOR_LABEL_LESSER_THAN<span class="Delimiter">,</span>
<span id="L828" class="LineNr">828 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Numbers&quot;)</span>
<span id="L829" class="LineNr">829 </span><a href='001help.cc.html#L221'>put</a><span class="Delimiter">(</span>Recipe_ordinal<span class="Delimiter">,</span> <span class="Constant">&quot;check-trace-count-for-label-lesser-than&quot;</span><span class="Delimiter">,</span> CHECK_TRACE_COUNT_FOR_LABEL_LESSER_THAN<span class="Delimiter">);</span>
<span id="L830" class="LineNr">830 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Checks&quot;)</span>
<span id="L831" class="LineNr">831 </span><span class="Normal">case</span> CHECK_TRACE_COUNT_FOR_LABEL_LESSER_THAN: <span class="Delimiter">{</span>
<span id="L832" class="LineNr">832 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span>inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">)</span> != <span class="Constant">2</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L833" class="LineNr">833 </span>  <span class="Conceal">¦</span> <a href='003trace.cc.html#L168'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span>get<span class="Delimiter">(</span>Recipe<span class="Delimiter">,</span> r<span class="Delimiter">).</span>name<span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;'check-trace-count-for-label' requires exactly two ingredients, but got '&quot;</span> &lt;&lt; to_original_string<span class="Delimiter">(</span>inst<span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;'</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>
<span id="L834" class="LineNr">834 </span>  <span class="Conceal">¦</span> <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L835" class="LineNr">835 </span>  <span class="Delimiter">}</span>
<span id="L836" class="LineNr">836 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!is_mu_number<span class="Delimiter">(</span>inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">)))</span> <span class="Delimiter">{</span>
<span id="L837" class="LineNr">837 </span>  <span class="Conceal">¦</span> <a href='003trace.cc.html#L168'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span>get<span class="Delimiter">(</span>Recipe<span class="Delimiter">,</span> r<span class="Delimiter">).</span>name<span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;first ingredient of 'check-trace-count-for-label' should be a number (count), but got '&quot;</span> &lt;&lt; inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>original_string &lt;&lt; <span class="Constant">&quot;'</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>
<span id="L838" class="LineNr">838 </span>  <span class="Conceal">¦</span> <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L839" class="LineNr">839 </span>  <span class="Delimiter">}</span>
<span id="L840" class="LineNr">840 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!is_literal_text<span class="Delimiter">(</span>inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">1</span><span class="Delimiter">)))</span> <span class="Delimiter">{</span>
<span id="L841" class="LineNr">841 </span>  <span class="Conceal">¦</span> <a href='003trace.cc.html#L168'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span>get<span class="Delimiter">(</span>Recipe<span class="Delimiter">,</span> r<span class="Delimiter">).</span>name<span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;second ingredient of 'check-trace-count-for-label' should be a literal string (label), but got '&quot;</span> &lt;&lt; inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">1</span><span class="Delimiter">).</span>original_string &lt;&lt; <span class="Constant">&quot;'</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>
<span id="L842" class="LineNr">842 </span>  <span class="Conceal">¦</span> <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L843" class="LineNr">843 </span>  <span class="Delimiter">}</span>
<span id="L844" class="LineNr">844 </span>  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L845" class="LineNr">845 </span><span class="Delimiter">}</span>
<span id="L846" class="LineNr">846 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Implementations&quot;)</span>
<span id="L847" class="LineNr">847 </span><span class="Normal">case</span> CHECK_TRACE_COUNT_FOR_LABEL_LESSER_THAN: <span class="Delimiter">{</span>
<span id="L848" class="LineNr">848 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!Passed<span class="Delimiter">)</span> <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L849" class="LineNr">849 </span>  <span class="Normal">int</span> expected_count = ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">);</span>
<span id="L850" class="LineNr">850 </span>  string label = <a href='026call.cc.html#L87'>current_instruction</a><span class="Delimiter">().</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">1</span><span class="Delimiter">).</span>name<span class="Delimiter">;</span>
<span id="L851" class="LineNr">851 </span>  <span class="Normal">int</span> count = trace_count<span class="Delimiter">(</span>label<span class="Delimiter">);</span>
<span id="L852" class="LineNr">852 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>count &gt;= expected_count<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L853" class="LineNr">853 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>!Hide_errors<span class="Delimiter">)</span> cerr &lt;&lt; <span class="cSpecial">'\n'</span><span class="Delimiter">;</span>
<span id="L854" class="LineNr">854 </span>  <span class="Conceal">¦</span> <a href='003trace.cc.html#L168'>raise</a> &lt;&lt; <span class="Constant">&quot;F - &quot;</span> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span><a href='026call.cc.html#L85'>current_recipe_name</a><span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;expected less than &quot;</span> &lt;&lt; expected_count &lt;&lt; <span class="Constant">&quot; lines in <a href='003trace.cc.html#L161'>trace</a> with label '&quot;</span> &lt;&lt; label &lt;&lt; <span class="Constant">&quot;' in <a href='003trace.cc.html#L161'>trace</a></span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>
<span id="L855" class="LineNr">855 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>!Hide_errors<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L856" class="LineNr">856 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> cerr &lt;&lt; <span class="Constant">&quot;trace contents:</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span><span class="Delimiter">;</span>
<span id="L857" class="LineNr">857 </span>  <span class="Conceal">¦</span> <span class="Conceal">¦</span> <a href='003trace.cc.html#L165'>DUMP</a><span class="Delimiter">(</span>label<span class="Delimiter">);</span>
<span id="L858" class="LineNr">858 </span>  <span class="Conceal">¦</span> <span class="Delimiter">}</span>
<span id="L859" class="LineNr">859 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>!Scenario_testing_scenario<span class="Delimiter">)</span> Passed = <span class="Constant">false</span><span class="Delimiter">;</span>
<span id="L860" class="LineNr">860 </span>  <span class="Delimiter">}</span>
<span id="L861" class="LineNr">861 </span>  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L862" class="LineNr">862 </span><span class="Delimiter">}</span>
<span id="L863" class="LineNr">863 </span>
<span id="L864" class="LineNr">864 </span><span class="Delimiter">:(scenario trace_count_check_2)</span>
<span id="L865" class="LineNr">865 </span><span class="Special">% Scenario_testing_scenario = true;</span>
<span id="L866" class="LineNr">866 </span><span class="Special">% Hide_errors = true;</span>
<span id="L867" class="LineNr">867 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [
<span id="L868" class="LineNr">868 </span>  run [
<span id="L869" class="LineNr">869 </span>  <span class="Conceal">¦</span> <a href='003trace.cc.html#L161'>trace</a> <span class="Constant">1</span><span class="Delimiter">,</span> [a]<span class="Delimiter">,</span> [foo]
<span id="L870" class="LineNr">870 </span>  ]
<span id="L871" class="LineNr">871 </span>  check-trace-count-<span class="Normal">for</span>-label <span class="Constant">2</span><span class="Delimiter">,</span> [a]
<span id="L872" class="LineNr">872 </span>]
<span id="L873" class="LineNr">873 </span><span class="traceContains">+error: F - <a href='000organization.cc.html#L113'>main</a>: expected 2 lines in <a href='003trace.cc.html#L161'>trace</a> with label 'a' in <a href='003trace.cc.html#L161'>trace</a></span>
<span id="L874" class="LineNr">874 </span>
<span id="L875" class="LineNr">875 </span><span class="Comment">//: Minor detail: ignore 'system' calls in scenarios, since anything we do</span>
<span id="L876" class="LineNr">876 </span><span class="Comment">//: with them is by definition impossible to test through Mu.</span>
<span id="L877" class="LineNr">877 </span><span class="Delimiter">:(after &quot;case _SYSTEM:&quot;)</span>
<span id="L878" class="LineNr">878 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>Current_scenario<span class="Delimiter">)</span> <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L879" class="LineNr">879 </span>
<span id="L880" class="LineNr">880 </span><span class="SalientComment">//:: Warn if people use '_' manually in recipe names. They're reserved for internal use.</span>
<span id="L881" class="LineNr">881 </span>
<span id="L882" class="LineNr">882 </span><span class="Delimiter">:(scenario recipe_name_with_underscore)</span>
<span id="L883" class="LineNr">883 </span><span class="Special">% Hide_errors = true;</span>
<span id="L884" class="LineNr">884 </span><span class="muRecipe">def</span> foo_bar [
<span id="L885" class="LineNr">885 </span>]
<span id="L886" class="LineNr">886 </span><span class="traceContains">+error: foo_bar: don't create recipes with '_' in the name</span>
<span id="L887" class="LineNr">887 </span>
<span id="L888" class="LineNr">888 </span><span class="Delimiter">:(before &quot;End <a href='010vm.cc.html#L19'>recipe</a> Fields&quot;)</span>
<span id="L889" class="LineNr">889 </span><span class="Normal">bool</span> is_autogenerated<span class="Delimiter">;</span>
<span id="L890" class="LineNr">890 </span><span class="Delimiter">:(before &quot;End <a href='010vm.cc.html#L19'>recipe</a> Constructor&quot;)</span>
<span id="L891" class="LineNr">891 </span>is_autogenerated = <span class="Constant">false</span><span class="Delimiter">;</span>
<span id="L892" class="LineNr">892 </span><span class="Delimiter">:(code)</span>
<span id="L893" class="LineNr">893 </span><span class="Normal">void</span> mark_autogenerated<span class="Delimiter">(</span><a href='010vm.cc.html#L14'>recipe_ordinal</a> r<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L894" class="LineNr">894 </span>  get<span class="Delimiter">(</span>Recipe<span class="Delimiter">,</span> r<span class="Delimiter">).</span>is_autogenerated = <span class="Constant">true</span><span class="Delimiter">;</span>
<span id="L895" class="LineNr">895 </span><span class="Delimiter">}</span>
<span id="L896" class="LineNr">896 </span>
<span id="L897" class="LineNr">897 </span><span class="Delimiter">:(after &quot;void transform_all()&quot;)</span>
<span id="L898" class="LineNr">898 </span>  <span class="Normal">for</span> <span class="Delimiter">(</span>map&lt;recipe_ordinal<span class="Delimiter">,</span> recipe&gt;::iterator p = Recipe<span class="Delimiter">.</span>begin<span class="Delimiter">();</span>  p != Recipe<span class="Delimiter">.</span><a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>  ++p<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L899" class="LineNr">899 </span>  <span class="Conceal">¦</span> <span class="Normal">const</span> recipe&amp; r = p<span class="Delimiter">-&gt;</span>second<span class="Delimiter">;</span>
<span id="L900" class="LineNr">900 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>r<span class="Delimiter">.</span>name<span class="Delimiter">.</span>find<span class="Delimiter">(</span><span class="Constant">'_'</span><span class="Delimiter">)</span> == string::npos<span class="Delimiter">)</span> <span class="Identifier">continue</span><span class="Delimiter">;</span>
<span id="L901" class="LineNr">901 </span>  <span class="Conceal">¦</span> <span class="Normal">if</span> <span class="Delimiter">(</span>r<span class="Delimiter">.</span>is_autogenerated<span class="Delimiter">)</span> <span class="Identifier">continue</span><span class="Delimiter">;</span>  <span class="Comment">// created by previous call to transform_all()</span>
<span id="L902" class="LineNr">902 </span>  <span class="Conceal">¦</span> <a href='003trace.cc.html#L168'>raise</a> &lt;&lt; r<span class="Delimiter">.</span>name &lt;&lt; <span class="Constant">&quot;: don't create recipes with '_' in the name</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; end<span class="Delimiter">();</span>
<span id="L903" class="LineNr">903 </span>  <span class="Delimiter">}</span>
<span id="L904" class="LineNr">904 </span>
<span id="L905" class="LineNr">905 </span><span class="SalientComment">//:: Helpers</span>
<span id="L906" class="LineNr">906 </span>
<span id="L907" class="LineNr">907 </span><span class="Delimiter">:(code)</span>
<span id="L908" class="LineNr">908 </span><span class="Comment">// just for the scenarios running scenarios in C++ layers</span>
<span id="L909" class="LineNr">909 </span><span class="Normal">void</span> run_mu_scenario<span class="Delimiter">(</span><span class="Normal">const</span> string&amp; form<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L910" class="LineNr">910 </span>  Scenario_names<span class="Delimiter">.</span><a href='050scenario.cc.html#L60'>clear</a><span class="Delimiter">();</span>
<span id="L911" class="LineNr">911 </span>  istringstream in<span class="Delimiter">(</span>form<span class="Delimiter">);</span>
<span id="L912" class="LineNr">912 </span>  in &gt;&gt; std::noskipws<span class="Delimiter">;</span>
<span id="L913" class="LineNr">913 </span>  <a href='011load.cc.html#L209'>skip_whitespace_and_comments</a><span class="Delimiter">(</span>in<span class="Delimiter">);</span>
<span id="L914" class="LineNr">914 </span>  string _scenario = <a href='011load.cc.html#L167'>next_word</a><span class="Delimiter">(</span>in<span class="Delimiter">);</span>
<span id="L915" class="LineNr">915 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>_scenario<span class="Delimiter">.</span>empty<span class="Delimiter">())</span> <span class="Delimiter">{</span>
<span id="L916" class="LineNr">916 </span>  <span class="Conceal">¦</span> assert<span class="Delimiter">(</span>!has_data<span class="Delimiter">(</span>in<span class="Delimiter">));</span>
<span id="L917" class="LineNr">917 </span>  <span class="Conceal">¦</span> <a href='003trace.cc.html#L168'>raise</a> &lt;&lt; <span class="Constant">&quot;no <a href='050scenario.cc.html#L57'>scenario</a> in string passed into run_mu_scenario()</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L197'>end</a><span class="Delimiter">();</span>
<span id="L918" class="LineNr">918 </span>  <span class="Conceal">¦</span> <span class="Identifier">return</span><span class="Delimiter">;</span>
<span id="L919" class="LineNr">919 </span>  <span class="Delimiter">}</span>
<span id="L920" class="LineNr">920 </span>  assert<span class="Delimiter">(</span>_scenario == <span class="Constant">&quot;scenario&quot;</span><span class="Delimiter">);</span>
<span id="L921" class="LineNr">921 </span>  <a href='050scenario.cc.html#L57'>scenario</a> s = <a href='050scenario.cc.html#L91'>parse_scenario</a><span class="Delimiter">(</span>in<span class="Delimiter">);</span>
<span id="L922" class="LineNr">922 </span>  run_mu_scenario<span class="Delimiter">(</span>s<span class="Delimiter">);</span>
<span id="L923" class="LineNr">923 </span><span class="Delimiter">}</span>
</pre>
</body>
</html>
<!-- vim: set foldmethod=manual : -->