dwightguth

Escape Sequence	Meaning
\"	The literal character "
\\	The literal character \
\n	The newline character (ASCII code 0x0a)
\r	The carriage return character (ASCII code 0x0d)
\t	The tab character (ASCII code 0x09)
\f	The form feed character (ASCII code 0x0c)
\x00	\x followed by 2 hexadecimal digits indicates a code point between 0x00 and 0xFF
\u0000	\u followed by 4 hexadecimal digits indicates a code point between 0x0000 and 0xFFFF

dwightguth

#fetchCoverageData ( 8277554891507775505279220911850293719734826420268574462026436790795686283050 ) <firefly>
  <kevm-coverage>
    <programID>
      .
    </programID>
    <previousPC>
      0
    </previousPC>
    <coverage>
      <coveragePC>

dwightguth

#fetchCoverageData ( 8277554891507775505279220911850293719734826420268574462026436790795686283050 ) <firefly>
  <kevm-coverage>
    <programID>
      .
    </programID>
    <previousPC>
      0
    </previousPC>
    <coverage>
      <coveragePC>

dwightguth

#fetchCoverageData ( 8277554891507775505279220911850293719734826420268574462026436790795686283050 ) <firefly>
  <kevm-coverage>
    <programID>
      .
    </programID>
    <previousPC>
      0
    </previousPC>
    <coverage>
      <coveragePC>

dwightguth

from z3 import *
npcs = []
biomes = []

class npc(object):
  def __init__(self, name):
    self.name = name
    self.sells = True
    self._loves = []
    self._likes = []

dwightguth

This code may be licensed under either the BSD 3-Clause License, or the Boost Open Source License 1.0.

BSD 3-Clause License

Copyright (c) 2019, Runtime Verification, Inc.
All rights reserved.

Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions are met:

dwightguth

specializations:
- - Nil{}
  - action: 1
    variables:
    - - 0
      - 0
- - Cons{}
  - specializations: []
    default:
      swap:

dwightguth

[]

module BASIC-K
  sort SortK{} []
  sort SortKItem{} []
endmodule []

module KSEQ
  import BASIC-K []

dwightguth

[]

module BASIC-K
  sort K{} []
  sort KItem{} []
endmodule []

module KSEQ
  import BASIC-K []

dwightguth

type foo = Foo of int | Baz of baz
and baz = {foo: foo; bar: string}