https://github.com/inabajunmr/pictts
PICT clone in TypeScript
https://github.com/inabajunmr/pictts
pict testing
Last synced: 5 months ago
JSON representation
PICT clone in TypeScript
- Host: GitHub
- URL: https://github.com/inabajunmr/pictts
- Owner: inabajunmr
- License: mit
- Created: 2020-12-23T13:55:36.000Z (over 5 years ago)
- Default Branch: main
- Last Pushed: 2021-01-11T09:32:15.000Z (over 5 years ago)
- Last Synced: 2025-09-03T12:27:14.981Z (10 months ago)
- Topics: pict, testing
- Language: TypeScript
- Homepage: https://inabajunmr.github.io/pictts/pages/public/
- Size: 222 KB
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 11
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# pictts
[](https://github.com/inabajunmr/pictts/actions?query=branch%3Amain)
[PICT](https://github.com/microsoft/pict) clone in TypeScript.
* [Library implementation & documentation](./pictts)
* [UI implementation](./pages)
* [npm](https://www.npmjs.com/package/pictts)
## Try it on browser
https://inabajunmr.github.io/pictts/pages/public/
## Features
| Features | pictts | [microsoft/pict](https://github.com/microsoft/pict) |
| -------------------------------------- | ----------- | --------------------------------------------------- |
| Conditional Constraints | ✅ | ✅ |
| Unconditional Constraints (Invariants) | Unsupported | ✅ |
| Re-using Parameter Definitions | Unsupported | ✅ |
| Sub-Models | Unsupported | ✅ |
| Aliasing | Unsupported | ✅ |
| Negative Testing | Unsupported | ✅ |
| Weighting | Unsupported | ✅ |
| Seeding | Unsupported | ✅ |
## Example
[Read it for other usage.](./pictts)
```typescript
const pictts = require("pictts")
const pict = new pictts.Parser(
`
Type: Primary, Logical, Single, Span, Stripe, Mirror, RAID-5
Size: 10, 100, 500, 1000, 5000, 10000, 40000
Format method: quick, slow
File system: FAT, FAT32, NTFS
Cluster size: 512, 1024, 2048, 4096, 8192, 16384, 32768, 65536
Compression: on, off
IF [File system] = "FAT" THEN [Size] <= 4096 ;
IF [File system] = "FAT32" THEN [Size] <= 32000 ;
`
).parse();
const testCases = pict.testCases();
testCases.toString();
```
[try it on RunKit.](https://npm.runkit.com/pictts)