@antithesishq/bombadil 0.4.4 → 0.5.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +22 -10
- package/bin/bombadil.js +33 -0
- package/binaries/bombadil-darwin-arm64 +0 -0
- package/binaries/bombadil-linux-arm64 +0 -0
- package/binaries/bombadil-linux-x64 +0 -0
- package/dist/actions.d.ts +2 -2
- package/dist/actions.d.ts.map +1 -1
- package/dist/bundler/fixtures/runtime/a.d.ts.map +1 -1
- package/dist/bundler/fixtures/runtime/b.d.ts.map +1 -1
- package/dist/bundler/fixtures/runtime/c.d.ts.map +1 -1
- package/dist/bundler/fixtures/runtime/sideEffect.d.ts.map +1 -1
- package/dist/bundler/fixtures/snapshot/cjs-test.d.ts.map +1 -1
- package/dist/bundler/fixtures/snapshot/import-attributes-test.d.ts.map +1 -1
- package/dist/bundler/fixtures/snapshot/index.d.ts.map +1 -1
- package/dist/bundler/fixtures/snapshot/other.d.ts.map +1 -1
- package/dist/bundler/fixtures/snapshot/subdirectory/shared.d.ts.map +1 -1
- package/dist/defaults/actions.d.ts +3 -0
- package/dist/defaults/actions.d.ts.map +1 -1
- package/dist/defaults/properties.d.ts.map +1 -1
- package/dist/defaults.d.ts.map +1 -1
- package/dist/index.d.ts +1 -1
- package/dist/index.d.ts.map +1 -1
- package/dist/internal.d.ts +3 -14
- package/dist/internal.d.ts.map +1 -1
- package/dist/random.d.ts.map +1 -1
- package/package.json +1 -1
package/README.md
CHANGED
|
@@ -1,11 +1,10 @@
|
|
|
1
1
|
# @antithesishq/bombadil
|
|
2
2
|
|
|
3
|
-
[](https://github.com/antithesishq/bombadil/releases/tag/v0.5.0)
|
|
4
4
|
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
validating correctness properties, *finding harder bugs earlier*.
|
|
5
|
+
[Bombadil](https://github.com/antithesishq/bombadil) is property-based testing
|
|
6
|
+
for web UIs, autonomously exploring and validating correctness properties,
|
|
7
|
+
*finding harder bugs earlier*.
|
|
9
8
|
|
|
10
9
|
## Install
|
|
11
10
|
|
|
@@ -15,16 +14,23 @@ npm install --save-dev @antithesishq/bombadil
|
|
|
15
14
|
|
|
16
15
|
## Usage
|
|
17
16
|
|
|
18
|
-
|
|
17
|
+
Add a script to your `package.json`:
|
|
19
18
|
|
|
20
|
-
```
|
|
21
|
-
|
|
19
|
+
```json
|
|
20
|
+
{
|
|
21
|
+
"scripts": {
|
|
22
|
+
"test": "bombadil test https://your-app.example.com"
|
|
23
|
+
}
|
|
24
|
+
}
|
|
22
25
|
```
|
|
23
26
|
|
|
24
|
-
|
|
27
|
+
Then run it with `npm test`. This also gives you TypeScript type definitions
|
|
28
|
+
for writing specifications.
|
|
29
|
+
|
|
30
|
+
Write custom properties:
|
|
25
31
|
|
|
26
32
|
```typescript
|
|
27
|
-
import { always, eventually, extract
|
|
33
|
+
import { always, eventually, extract } from "@antithesishq/bombadil";
|
|
28
34
|
|
|
29
35
|
const title = extract((state) =>
|
|
30
36
|
state.document.querySelector("h1")?.textContent ?? ""
|
|
@@ -33,6 +39,12 @@ const title = extract((state) =>
|
|
|
33
39
|
export const has_title = always(() => title.current.trim() !== "");
|
|
34
40
|
```
|
|
35
41
|
|
|
42
|
+
Or re-export the default properties:
|
|
43
|
+
|
|
44
|
+
```typescript
|
|
45
|
+
export * from "@antithesishq/bombadil/defaults";
|
|
46
|
+
```
|
|
47
|
+
|
|
36
48
|
## Documentation
|
|
37
49
|
|
|
38
50
|
See the [Bombadil repository](https://github.com/antithesishq/bombadil) for
|
package/bin/bombadil.js
ADDED
|
@@ -0,0 +1,33 @@
|
|
|
1
|
+
#!/usr/bin/env node
|
|
2
|
+
"use strict";
|
|
3
|
+
|
|
4
|
+
const path = require("path");
|
|
5
|
+
const { spawnSync } = require("child_process");
|
|
6
|
+
const os = require("os");
|
|
7
|
+
|
|
8
|
+
const binaries = {
|
|
9
|
+
"linux-x64": "bombadil-linux-x64",
|
|
10
|
+
"linux-arm64": "bombadil-linux-arm64",
|
|
11
|
+
"darwin-arm64": "bombadil-darwin-arm64",
|
|
12
|
+
};
|
|
13
|
+
|
|
14
|
+
const key = `${os.platform()}-${os.arch()}`;
|
|
15
|
+
const binary = binaries[key];
|
|
16
|
+
|
|
17
|
+
if (!binary) {
|
|
18
|
+
process.stderr.write(`bombadil: unsupported platform ${key}\n`);
|
|
19
|
+
process.exit(1);
|
|
20
|
+
}
|
|
21
|
+
|
|
22
|
+
const result = spawnSync(
|
|
23
|
+
path.join(__dirname, "..", "binaries", binary),
|
|
24
|
+
process.argv.slice(2),
|
|
25
|
+
{ stdio: "inherit" }
|
|
26
|
+
);
|
|
27
|
+
|
|
28
|
+
if (result.error) {
|
|
29
|
+
process.stderr.write(`bombadil: ${result.error.message}\n`);
|
|
30
|
+
process.exit(1);
|
|
31
|
+
}
|
|
32
|
+
|
|
33
|
+
process.exit(result.status ?? 1);
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
package/dist/actions.d.ts
CHANGED
|
@@ -1,10 +1,10 @@
|
|
|
1
1
|
import { type Generator } from "@antithesishq/bombadil/random";
|
|
2
2
|
export type { Generator } from "@antithesishq/bombadil/random";
|
|
3
3
|
export { from, strings, emails, integers, keycodes, randomRange, } from "@antithesishq/bombadil/random";
|
|
4
|
-
export
|
|
4
|
+
export type Point = {
|
|
5
5
|
x: number;
|
|
6
6
|
y: number;
|
|
7
|
-
}
|
|
7
|
+
};
|
|
8
8
|
export type Action = "Back" | "Forward" | "Reload" | "Wait" | {
|
|
9
9
|
Click: {
|
|
10
10
|
name: string;
|
package/dist/actions.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"actions.d.ts","sourceRoot":"","sources":["../../
|
|
1
|
+
{"version":3,"file":"actions.d.ts","sourceRoot":"","sources":["../../xr9biyc8ixf7k9jds7zxsify9x50izqw-source/lib/bombadil/src/specification/actions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,SAAS,EAAE,MAAM,+BAA+B,CAAC;AAE/D,YAAY,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EACL,IAAI,EACJ,OAAO,EACP,MAAM,EACN,QAAQ,EACR,QAAQ,EACR,WAAW,GACZ,MAAM,+BAA+B,CAAC;AAEvC,MAAM,MAAM,KAAK,GAAG;IAClB,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;CACX,CAAC;AAEF,MAAM,MAAM,MAAM,GACd,MAAM,GACN,SAAS,GACT,QAAQ,GACR,MAAM,GACN;IAAE,KAAK,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,KAAK,CAAA;KAAE,CAAA;CAAE,GAC3D;IACE,WAAW,EAAE;QACX,IAAI,EAAE,MAAM,CAAC;QACb,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,KAAK,EAAE,KAAK,CAAC;QACb,WAAW,EAAE,MAAM,CAAC;KACrB,CAAC;CACH,GACD;IAAE,QAAQ,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,CAAA;CAAE,GACnD;IAAE,QAAQ,EAAE;QAAE,IAAI,EAAE,MAAM,CAAA;KAAE,CAAA;CAAE,GAC9B;IAAE,QAAQ,EAAE;QAAE,MAAM,EAAE,KAAK,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAA;CAAE,GACjD;IAAE,UAAU,EAAE;QAAE,MAAM,EAAE,KAAK,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAA;CAAE,GACnD;IAAE,iBAAiB,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,EAAE,CAAA;KAAE,CAAA;CAAE,CAAC;AAIjE,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI;IAAE,KAAK,EAAE,CAAC,CAAA;CAAE,GAAG;IAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;CAAE,CAAC;AAmBvE,qBAAa,eAAgB,YAAW,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1C,QAAQ,EAAE,MAAM,IAAI,CAAC,MAAM,CAAC;gBAA5B,QAAQ,EAAE,MAAM,IAAI,CAAC,MAAM,CAAC;CAChD;AAED,wBAAgB,OAAO,CACrB,QAAQ,EAAE,MAAM,IAAI,CAAC,MAAM,CAAC,GAAG,MAAM,EAAE,GACtC,eAAe,CAQjB;AAED,wBAAgB,QAAQ,CACtB,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,GAAG,eAAe,CAAC,EAAE,GAC1C,eAAe,CAWjB"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"a.d.ts","sourceRoot":"","sources":["../../../../../
|
|
1
|
+
{"version":3,"file":"a.d.ts","sourceRoot":"","sources":["../../../../../xr9biyc8ixf7k9jds7zxsify9x50izqw-source/lib/bombadil/src/specification/bundler/fixtures/runtime/a.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,QAAQ,CAAC;AAG3B,OAAO,iBAAiB,CAAC;AAGzB,eAAO,MAAM,CAAC,KAAK,CAAC;AAIpB,QAAA,MAAM,MAAM,KAAK,CAAC;AAClB,QAAA,MAAM,MAAM,KAAK,CAAC;AAClB,OAAO,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC,EAAE,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"b.d.ts","sourceRoot":"","sources":["../../../../../
|
|
1
|
+
{"version":3,"file":"b.d.ts","sourceRoot":"","sources":["../../../../../xr9biyc8ixf7k9jds7zxsify9x50izqw-source/lib/bombadil/src/specification/bundler/fixtures/runtime/b.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,CAAC,QAAQ,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"c.d.ts","sourceRoot":"","sources":["../../../../../
|
|
1
|
+
{"version":3,"file":"c.d.ts","sourceRoot":"","sources":["../../../../../xr9biyc8ixf7k9jds7zxsify9x50izqw-source/lib/bombadil/src/specification/bundler/fixtures/runtime/c.ts"],"names":[],"mappings":"AACA,eAAO,MAAM,CAAC,MAAM,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"sideEffect.d.ts","sourceRoot":"","sources":["../../../../../
|
|
1
|
+
{"version":3,"file":"sideEffect.d.ts","sourceRoot":"","sources":["../../../../../xr9biyc8ixf7k9jds7zxsify9x50izqw-source/lib/bombadil/src/specification/bundler/fixtures/runtime/sideEffect.ts"],"names":[],"mappings":""}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"cjs-test.d.ts","sourceRoot":"","sources":["../../../../../
|
|
1
|
+
{"version":3,"file":"cjs-test.d.ts","sourceRoot":"","sources":["../../../../../xr9biyc8ixf7k9jds7zxsify9x50izqw-source/lib/bombadil/src/specification/bundler/fixtures/snapshot/cjs-test.ts"],"names":[],"mappings":"AACA,OAAO,OAAO,MAAM,kBAAkB,CAAC;AAEvC,eAAO,MAAM,MAAM,QAAuB,CAAC;AAC3C,eAAO,MAAM,OAAO,SAAuB,CAAC;AAC5C,eAAO,MAAM,QAAQ,QAAkB,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"import-attributes-test.d.ts","sourceRoot":"","sources":["../../../../../
|
|
1
|
+
{"version":3,"file":"import-attributes-test.d.ts","sourceRoot":"","sources":["../../../../../xr9biyc8ixf7k9jds7zxsify9x50izqw-source/lib/bombadil/src/specification/bundler/fixtures/snapshot/import-attributes-test.ts"],"names":[],"mappings":"AAMA,eAAO,MAAM,WAAW,KAAW,CAAC;AACpC,eAAO,MAAM,WAAW;;CAAW,CAAC;AACpC,eAAO,MAAM,aAAa,KAAa,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../xr9biyc8ixf7k9jds7zxsify9x50izqw-source/lib/bombadil/src/specification/bundler/fixtures/snapshot/index.ts"],"names":[],"mappings":"AASA,eAAO,MAAM,CAAC,QAAwB,CAAC;AACvC,eAAO,MAAM,QAAQ,QAAsC,CAAC;AAC5D,cAAc,YAAY,CAAC;AAC3B,eAAO,MAAM,IAAI,KAAO,CAAC;AACzB,eAAO,MAAM,KAAK,QAAS,CAAC;AAC5B,eAAO,MAAM,KAAK,KAAS,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"other.d.ts","sourceRoot":"","sources":["../../../../../
|
|
1
|
+
{"version":3,"file":"other.d.ts","sourceRoot":"","sources":["../../../../../xr9biyc8ixf7k9jds7zxsify9x50izqw-source/lib/bombadil/src/specification/bundler/fixtures/snapshot/other.ts"],"names":[],"mappings":"AACA,OAAO,wBAAwB,CAAC;AAEhC,eAAO,MAAM,CAAC,KAAK,CAAC;;AACpB,wBAAwB;AACxB,eAAO,MAAM,GAAG;;CAEf,CAAC;AACF,eAAO,MAAW,CAAC,QAAe,CAAC;AACnC,eAAO,MAAO,CAAC,QAAW,CAAC;AAC3B,eAAO,MAAY,CAAC,QAAc,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../../../../../../
|
|
1
|
+
{"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../../../../../../xr9biyc8ixf7k9jds7zxsify9x50izqw-source/lib/bombadil/src/specification/bundler/fixtures/snapshot/subdirectory/shared.ts"],"names":[],"mappings":"AAEA,wBAAgB,IAAI,CAAC,CAAC,EAAE,MAAM,UAE7B;AAED,eAAO,MAAM,MAAM,QAAS,CAAC"}
|
|
@@ -1,3 +1,6 @@
|
|
|
1
|
+
import { type Action, Cell } from "@antithesishq/bombadil";
|
|
2
|
+
export declare const lastAction: Cell<Action | null>;
|
|
3
|
+
export declare const waitOnce: import("@antithesishq/bombadil").ActionGenerator;
|
|
1
4
|
export declare const scroll: import("@antithesishq/bombadil").ActionGenerator;
|
|
2
5
|
export declare const clicks: import("@antithesishq/bombadil").ActionGenerator;
|
|
3
6
|
export declare const inputs: import("@antithesishq/bombadil").ActionGenerator;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"actions.d.ts","sourceRoot":"","sources":["../../../
|
|
1
|
+
{"version":3,"file":"actions.d.ts","sourceRoot":"","sources":["../../../xr9biyc8ixf7k9jds7zxsify9x50izqw-source/lib/bombadil/src/specification/defaults/actions.ts"],"names":[],"mappings":"AAAA,OAAO,EAQL,KAAK,MAAM,EACX,IAAI,EACL,MAAM,wBAAwB,CAAC;AAkBhC,eAAO,MAAM,UAAU,EAAE,IAAI,CAAC,MAAM,GAAG,IAAI,CAE1C,CAAC;AAqBF,eAAO,MAAM,QAAQ,kDAMnB,CAAC;AAEH,eAAO,MAAM,MAAM,kDAmCjB,CAAC;AAsLH,eAAO,MAAM,MAAM,kDAQjB,CAAC;AAmBH,eAAO,MAAM,MAAM,kDA8CjB,CAAC;AAIH,eAAO,MAAM,IAAI,kDAGf,CAAC;AAEH,eAAO,MAAM,OAAO,kDAGlB,CAAC;AAEH,eAAO,MAAM,MAAM,kDAIjB,CAAC;AAEH,eAAO,MAAM,UAAU,kDAIrB,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"properties.d.ts","sourceRoot":"","sources":["../../../
|
|
1
|
+
{"version":3,"file":"properties.d.ts","sourceRoot":"","sources":["../../../xr9biyc8ixf7k9jds7zxsify9x50izqw-source/lib/bombadil/src/specification/defaults/properties.ts"],"names":[],"mappings":"AASA,eAAO,MAAM,gBAAgB,yCAE5B,CAAC;AA+CF,eAAO,MAAM,oBAAoB,yCAOhC,CAAC;AAEF,eAAO,MAAM,4BAA4B,yCAKxC,CAAC;AAMF,eAAO,MAAM,eAAe,yCAE3B,CAAC"}
|
package/dist/defaults.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"defaults.d.ts","sourceRoot":"","sources":["../../
|
|
1
|
+
{"version":3,"file":"defaults.d.ts","sourceRoot":"","sources":["../../xr9biyc8ixf7k9jds7zxsify9x50izqw-source/lib/bombadil/src/specification/defaults.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,4BAA4B,EAC5B,eAAe,GAChB,MAAM,4CAA4C,CAAC;AAWpD,eAAO,MAAM,cAAc,0DAMzB,CAAC"}
|
package/dist/index.d.ts
CHANGED
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
import { type JSON, type TimeUnit, type Cell } from "@antithesishq/bombadil/internal";
|
|
2
|
-
export {
|
|
2
|
+
export { type Cell } from "@antithesishq/bombadil/internal";
|
|
3
3
|
export { actions, weighted, type Action, type Generator, type Point, ActionGenerator, from, strings, emails, integers, keycodes, } from "@antithesishq/bombadil/actions";
|
|
4
4
|
import type { Action } from "@antithesishq/bombadil/actions";
|
|
5
5
|
export declare class Formula {
|
package/dist/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../xr9biyc8ixf7k9jds7zxsify9x50izqw-source/lib/bombadil/src/specification/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,IAAI,EAGT,KAAK,QAAQ,EACb,KAAK,IAAI,EACV,MAAM,iCAAiC,CAAC;AAMzC,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,iCAAiC,CAAC;AAC5D,OAAO,EACL,OAAO,EACP,QAAQ,EACR,KAAK,MAAM,EACX,KAAK,SAAS,EACd,KAAK,KAAK,EACV,eAAe,EACf,IAAI,EACJ,OAAO,EACP,MAAM,EACN,QAAQ,EACR,QAAQ,GACT,MAAM,gCAAgC,CAAC;AAExC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,gCAAgC,CAAC;AAE7D,qBAAa,OAAO;IAClB,GAAG,IAAI,OAAO;IAGd,GAAG,CAAC,IAAI,EAAE,WAAW,GAAG,OAAO;IAG/B,EAAE,CAAC,IAAI,EAAE,WAAW,GAAG,OAAO;IAG9B,OAAO,CAAC,IAAI,EAAE,WAAW,GAAG,OAAO;CAGpC;AAED,qBAAa,IAAK,SAAQ,OAAO;IAE7B,OAAO,CAAC,MAAM;IACP,KAAK,EAAE,OAAO;gBADb,MAAM,EAAE,MAAM,EACf,KAAK,EAAE,OAAO;IAKd,QAAQ;CAGlB;AAED,qBAAa,GAAI,SAAQ,OAAO;IAErB,IAAI,EAAE,OAAO;IACb,KAAK,EAAE,OAAO;gBADd,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,OAAO;IAKd,QAAQ;CAGlB;AAED,qBAAa,EAAG,SAAQ,OAAO;IAEpB,IAAI,EAAE,OAAO;IACb,KAAK,EAAE,OAAO;gBADd,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,OAAO;CAIxB;AAED,qBAAa,OAAQ,SAAQ,OAAO;IAEzB,IAAI,EAAE,OAAO;IACb,KAAK,EAAE,OAAO;gBADd,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,OAAO;IAKd,QAAQ;CAGlB;AAED,qBAAa,GAAI,SAAQ,OAAO;IACX,UAAU,EAAE,OAAO;gBAAnB,UAAU,EAAE,OAAO;IAG7B,QAAQ;CAGlB;AAED,qBAAa,IAAK,SAAQ,OAAO;IACZ,UAAU,EAAE,OAAO;gBAAnB,UAAU,EAAE,OAAO;IAI7B,QAAQ;CAGlB;AAED,qBAAa,MAAO,SAAQ,OAAO;IAExB,WAAW,EAAE,MAAM,GAAG,IAAI;IAC1B,UAAU,EAAE,OAAO;gBADnB,WAAW,EAAE,MAAM,GAAG,IAAI,EAC1B,UAAU,EAAE,OAAO;IAK5B,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,GAAG,OAAO;IAgBjC,QAAQ;CAKlB;AAED,qBAAa,UAAW,SAAQ,OAAO;IAE5B,WAAW,EAAE,MAAM,GAAG,IAAI;IAC1B,UAAU,EAAE,OAAO;gBADnB,WAAW,EAAE,MAAM,GAAG,IAAI,EAC1B,UAAU,EAAE,OAAO;IAK5B,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,GAAG,OAAO;IAgBjC,QAAQ;CAKlB;AAED,qBAAa,KAAM,SAAQ,OAAO;IAE9B,OAAO,CAAC,MAAM;IACP,KAAK,EAAE,MAAM,OAAO;gBADnB,MAAM,EAAE,MAAM,EACf,KAAK,EAAE,MAAM,OAAO;IAKpB,QAAQ;CAGlB;AAED,KAAK,WAAW,GAAG,CAAC,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,OAAO,CAAC;AAEvD,wBAAgB,GAAG,CAAC,KAAK,EAAE,WAAW,OAErC;AAED,wBAAgB,GAAG,CAAC,CAAC,EAAE,WAAW,GAAG,OAAO,CAe3C;AAED,wBAAgB,IAAI,CAAC,CAAC,EAAE,WAAW,GAAG,OAAO,CAE5C;AAED,wBAAgB,MAAM,CAAC,CAAC,EAAE,WAAW,GAAG,MAAM,CAE7C;AAED,wBAAgB,UAAU,CAAC,CAAC,EAAE,WAAW,GAAG,UAAU,CAErD;AAED,wBAAgB,OAAO,CAAC,CAAC,SAAS,IAAI,EAAE,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAE3E;AAED,MAAM,WAAW,KAAK;IACpB,QAAQ,EAAE,YAAY,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,iBAAiB,EAAE;QACjB,IAAI,EAAE,eAAe,EAAE,CAAC;QACxB,OAAO,EAAE,eAAe,CAAC;QACzB,OAAO,EAAE,eAAe,EAAE,CAAC;KAC5B,CAAC;IACF,MAAM,EAAE;QACN,kBAAkB,EAAE;YAClB,IAAI,EAAE,MAAM,CAAC;YACb,IAAI,EAAE,MAAM,CAAC;YACb,MAAM,EAAE,MAAM,CAAC;YACf,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;YACnB,aAAa,EAAE;gBACb,SAAS,EAAE,MAAM,CAAC;gBAClB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;gBACvB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;gBAC1B,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;gBAC3B,KAAK,EAAE,OAAO,CAAC;aAChB,GAAG,IAAI,CAAC;YACT,UAAU,EACN;gBAAE,IAAI,EAAE,MAAM,CAAC;gBAAC,IAAI,EAAE,MAAM,CAAC;gBAAC,MAAM,EAAE,MAAM,CAAC;gBAAC,GAAG,EAAE,MAAM,CAAA;aAAE,EAAE,GAC7D,IAAI,CAAC;SACV,EAAE,CAAC;KACL,CAAC;IACF,OAAO,EAAE,YAAY,EAAE,CAAC;IACxB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3B;AAED,MAAM,MAAM,eAAe,GAAG;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;CACb,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACzB,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,SAAS,GAAG,OAAO,CAAC;IAC3B,IAAI,EAAE,IAAI,EAAE,CAAC;CACd,CAAC"}
|
package/dist/internal.d.ts
CHANGED
|
@@ -1,9 +1,7 @@
|
|
|
1
|
-
export type Time = number;
|
|
2
1
|
export type TimeUnit = "milliseconds" | "seconds";
|
|
3
2
|
export interface Cell<T> {
|
|
4
3
|
get current(): T;
|
|
5
|
-
|
|
6
|
-
update(snapshot: T, time: Time): void;
|
|
4
|
+
update(snapshot: T): void;
|
|
7
5
|
}
|
|
8
6
|
export type JSON = string | number | boolean | null | JSON[] | {
|
|
9
7
|
[key: string | number | symbol]: JSON;
|
|
@@ -15,22 +13,13 @@ export declare class ExtractorCell<T extends JSON, S> implements Cell<T> {
|
|
|
15
13
|
private extract;
|
|
16
14
|
name: string | null;
|
|
17
15
|
readonly index: number;
|
|
18
|
-
private
|
|
16
|
+
private snapshot;
|
|
19
17
|
constructor(runtime: Runtime<S>, extract: (state: S) => T);
|
|
20
|
-
update(snapshot: T
|
|
18
|
+
update(snapshot: T): void;
|
|
21
19
|
get current(): T;
|
|
22
|
-
at(other: Time): T;
|
|
23
20
|
named(name: string): this;
|
|
24
21
|
run(state: S): T;
|
|
25
22
|
}
|
|
26
|
-
export declare class TimeCell implements Cell<Time> {
|
|
27
|
-
private time;
|
|
28
|
-
constructor();
|
|
29
|
-
update(_: {}, time: Time): void;
|
|
30
|
-
get current(): Time;
|
|
31
|
-
at(time: Time): Time;
|
|
32
|
-
}
|
|
33
|
-
export declare const time: Cell<Time>;
|
|
34
23
|
export declare class Runtime<S> {
|
|
35
24
|
extractors: ExtractorCell<any, S>[];
|
|
36
25
|
private extractingDepth;
|
package/dist/internal.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"internal.d.ts","sourceRoot":"","sources":["../../
|
|
1
|
+
{"version":3,"file":"internal.d.ts","sourceRoot":"","sources":["../../xr9biyc8ixf7k9jds7zxsify9x50izqw-source/lib/bombadil/src/specification/internal.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,QAAQ,GAAG,cAAc,GAAG,SAAS,CAAC;AAElD,MAAM,WAAW,IAAI,CAAC,CAAC;IACrB,IAAI,OAAO,IAAI,CAAC,CAAC;IACjB,MAAM,CAAC,QAAQ,EAAE,CAAC,GAAG,IAAI,CAAC;CAC3B;AAED,MAAM,MAAM,IAAI,GACZ,MAAM,GACN,MAAM,GACN,OAAO,GACP,IAAI,GACJ,IAAI,EAAE,GACN;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,IAAI,CAAA;CAAE,GACzC;IAAE,MAAM,IAAI,IAAI,CAAA;CAAE,CAAC;AAEvB,qBAAa,aAAa,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,CAAE,YAAW,IAAI,CAAC,CAAC,CAAC;IAM5D,OAAO,CAAC,OAAO;IACf,OAAO,CAAC,OAAO;IANV,IAAI,EAAE,MAAM,GAAG,IAAI,CAAQ;IAClC,SAAgB,KAAK,EAAE,MAAM,CAAC;IAC9B,OAAO,CAAC,QAAQ,CAAgB;gBAGtB,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,EACnB,OAAO,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC;IAKlC,MAAM,CAAC,QAAQ,EAAE,CAAC,GAAG,IAAI;IAIzB,IAAI,OAAO,IAAI,CAAC,CAUf;IAED,KAAK,CAAC,IAAI,EAAE,MAAM;IAKlB,GAAG,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC;CAGjB;AAED,qBAAa,OAAO,CAAC,CAAC;IACpB,UAAU,EAAE,aAAa,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAM;IACzC,OAAO,CAAC,eAAe,CAAa;IACpC,OAAO,CAAC,QAAQ,CAAS;IACzB,OAAO,CAAC,QAAQ,CAAqB;IAErC,iBAAiB,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,MAAM;IAMtD,aAAa,IAAI,IAAI;IAKrB,YAAY,IAAI,MAAM,EAAE;IAOxB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;IAMjC,aAAa,CACX,KAAK,EAAE,CAAC,GACP;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,KAAK,EAAE,IAAI,CAAA;KAAE,EAAE;IAexD,kBAAkB,IAAI,IAAI;CAS3B"}
|
package/dist/random.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"random.d.ts","sourceRoot":"","sources":["../../
|
|
1
|
+
{"version":3,"file":"random.d.ts","sourceRoot":"","sources":["../../xr9biyc8ixf7k9jds7zxsify9x50izqw-source/lib/bombadil/src/specification/random.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,SAAS,CAAC,CAAC;IAC1B,QAAQ,IAAI,CAAC,CAAC;CACf;AAqCD,qBAAa,IAAI,CAAC,CAAC,CAAE,YAAW,SAAS,CAAC,CAAC,CAAC;IAC9B,OAAO,CAAC,QAAQ;gBAAR,QAAQ,EAAE,CAAC,EAAE;IAEjC,QAAQ;CAGT;AAED,wBAAgB,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAK9C;AAID,cAAM,eAAgB,YAAW,SAAS,CAAC,MAAM,CAAC;IAChD,OAAO,CAAC,IAAI,CAAuB;IACnC,QAAQ;IAOR,OAAO,CAAC,KAAK,EAAE,MAAM,GAAG,eAAe;IAKvC,OAAO,CAAC,KAAK,EAAE,MAAM,GAAG,eAAe;CAIxC;AAED,wBAAgB,OAAO,IAAI,eAAe,CAEzC;AAcD,wBAAgB,MAAM,IAAI,SAAS,CAAC,MAAM,CAAC,CAE1C;AAED,cAAM,gBAAiB,YAAW,SAAS,CAAC,MAAM,CAAC;IACjD,OAAO,CAAC,KAAK,CAGX;IAEF,QAAQ;IAIR,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,gBAAgB;IAKpC,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,gBAAgB;CAIrC;AAED,wBAAgB,QAAQ,IAAI,gBAAgB,CAE3C;AAED,wBAAgB,QAAQ,IAAI,SAAS,CAAC,MAAM,CAAC,CAE5C"}
|
package/package.json
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"description":"
|
|
1
|
+
{"bin":{"bombadil":"./bin/bombadil.js"},"description":"Property-based testing tool for web UIs","exports":{".":{"types":"./dist/index.d.ts"},"./actions":{"types":"./dist/actions.d.ts"},"./defaults":{"types":"./dist/defaults.d.ts"},"./defaults/actions":{"types":"./dist/defaults/actions.d.ts"},"./defaults/properties":{"types":"./dist/defaults/properties.d.ts"},"./internal":{"types":"./dist/internal.d.ts"},"./random":{"types":"./dist/random.d.ts"}},"files":["dist","README.md","bin","binaries"],"homepage":"https://github.com/antithesishq/bombadil","keywords":["testing","property-based-testing","fuzzing","web","browser","ui","antithesis"],"license":"MIT","name":"@antithesishq/bombadil","repository":{"type":"git","url":"https://github.com/antithesishq/bombadil"},"types":"./dist/index.d.ts","version":"0.5.0"}
|