tlafmt 0.4.1

A formatter for TLA+ specs
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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79

name: fuzz
on:
  workflow_call:
  pull_request:
  push:
    branches: [master]

permissions: {}

jobs:
  # Run each fuzz target for 60s.
  fuzz:
    runs-on: ubuntu-latest
    container:
      image: rustlang/rust:nightly
      env:
        CARGO_HOME: "/cargo/"
        FUZZ_TARGET: "${{ matrix.fuzz_target }}"
    strategy:
      matrix:
        fuzz_target: ["e2e", "module_body"]

    steps:
      - name: Ensure node is installed for act checkout
        if: ${{ env.ACT }}
        run: command -v node || (apt update && apt install -y nodejs zstd)

      - name: Checkout source
        uses: actions/checkout@v4
        with:
          persist-credentials: false

      - name: Cache cargo dir
        id: cargo-dir
        uses: actions/cache@v4
        with:
          key: ${{ runner.os }}-cargo-nightly-${{ hashFiles('**/Cargo.lock') }}
          restore-keys: ${{ runner.os }}-cargo-nightly
          path: /cargo

      - name: Install cargo-fuzz
        if: steps.cargo-dir.outputs.cache-hit != 'true'
        run: cargo install cargo-fuzz --all-features

      - name: Cache corpus
        id: cache-fuzz-corpus
        uses: actions/cache@v4
        with:
          enableCrossOsArchive: true
          key: fuzz-corpus-${{ matrix.fuzz_target }}
          path: libtlafmt/fuzz/corpus/${{ matrix.fuzz_target }}

      - name: Seed fuzzing corpus from test corpus
        run: >
          mkdir -p libtlafmt/fuzz/corpus/$FUZZ_TARGET;
          cp libtlafmt/tests/corpus/* libtlafmt/fuzz/corpus/$FUZZ_TARGET

      - name: Cache fuzz target dir
        id: target-dir
        uses: actions/cache@v4
        with:
          key: ${{ runner.os }}-fuzz-target-dir-${{ matrix.fuzz_target }}-${{ hashFiles('**/Cargo.lock') }}
          restore-keys: ${{ runner.os }}-fuzz-target-dir-${{ matrix.fuzz_target }}
          path: libtlafmt/fuzz/target

      - name: Run fuzzer
        id: fuzz
        run: >
          cd libtlafmt &&
          cargo +nightly fuzz run $FUZZ_TARGET --
          -max_total_time=120
          -max_len=1022

      - name: Upload crash
        uses: actions/upload-artifact@v4
        if: failure() && steps.fuzz.outcome == 'failure'
        with:
          name: fuzz-crash
          path: libtlafmt/fuzz/artifacts/${{ matrix.fuzz_target }}