Skip to content

Commit

Permalink
hm
Browse files Browse the repository at this point in the history
  • Loading branch information
jtguibas committed May 9, 2024
1 parent 0c4cdd1 commit 3f89660
Show file tree
Hide file tree
Showing 2 changed files with 29 additions and 37 deletions.
58 changes: 29 additions & 29 deletions .github/workflows/pr.yml
Original file line number Diff line number Diff line change
Expand Up @@ -54,38 +54,38 @@ jobs:
FRI_QUERIES: 1
SP1_DEV: 1

test-arm:
name: Test (ARM)
runs-on: runs-on,runner=64cpu-linux-arm64
env:
CARGO_NET_GIT_FETCH_WITH_CLI: "true"
steps:
- name: Checkout sources
uses: actions/checkout@v2
# test-arm:
# name: Test (ARM)
# runs-on: runs-on,runner=64cpu-linux-arm64
# env:
# CARGO_NET_GIT_FETCH_WITH_CLI: "true"
# steps:
# - name: Checkout sources
# uses: actions/checkout@v2

- name: Setup CI
uses: ./.github/actions/setup
# - name: Setup CI
# uses: ./.github/actions/setup

- name: Run cargo check
uses: actions-rs/cargo@v1
with:
command: check
args: --all-targets --all-features
env:
RUSTFLAGS: -Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0 -C target-cpu=native -C target_feature=+avx512ifma,+avx512vl
RUST_LOG: info
RUST_BACKTRACE: 1
# - name: Run cargo check
# uses: actions-rs/cargo@v1
# with:
# command: check
# args: --all-targets --all-features
# env:
# RUSTFLAGS: -Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0 -C target-cpu=native
# RUST_LOG: info
# RUST_BACKTRACE: 1

- name: Run cargo test
uses: actions-rs/cargo@v1
with:
command: test
args: --release
env:
RUSTFLAGS: -Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0 -C target-cpu=native -C target_feature=+avx512ifma,+avx512vl
RUST_BACKTRACE: 1
FRI_QUERIES: 1
SP1_DEV: 1
# - name: Run cargo test
# uses: actions-rs/cargo@v1
# with:
# command: test
# args: --release
# env:
# RUSTFLAGS: -Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0 -C target-cpu=native
# RUST_BACKTRACE: 1
# FRI_QUERIES: 1
# SP1_DEV: 1

lint:
name: Formatting & Clippy
Expand Down
8 changes: 0 additions & 8 deletions core/src/stark/machine.rs
Original file line number Diff line number Diff line change
Expand Up @@ -662,26 +662,18 @@ pub mod tests {
}

#[test]
#[serial]
fn test_fibonacci_prove() {
setup_logger();
let program = fibonacci_program();
run_test(program).unwrap();
}

#[test]
#[serial]
fn test_fibonacci_prove_batch() {
std::env::set_var("SHARD_BATCH_SIZE", "1");
std::env::set_var("SHARD_SIZE", "16384");

setup_logger();
let program = fibonacci_program();
let stdin = SP1Stdin::new();
run_and_prove(program, &stdin, BabyBearPoseidon2::new());

std::env::remove_var("SHARD_BATCH_SIZE");
std::env::remove_var("SHARD_SIZE");
}

#[test]
Expand Down

0 comments on commit 3f89660

Please sign in to comment.