Plutus
  • Giới thiệu Plutus
  • Câu hỏi thường gặp
  • Tổng quan
  • Plutus
    • 0-Chuẩn bị
    • Tuần 1: EUTxO và English Auction
      • EUTxO và English Auction
      • 1st QnA Recording
    • Tuần 2: Validation Scripts
      • Trình xác thực
      • 2nd QnA Recording
    • Tuần 3: Vesting example
      • Ví dụ về Vesting
      • 3rd QnA Recording
    • Tuần 4: Emulator Trace and Contract Monads
      • Theo dõi trình giả lập và đơn vị hợp đồng
      • 4th QnA Recording
    • Tuần 5: Native tokens
      • Mã thông báo gốc
      • 5th QnA Recording
    • Tuần 6: Minting Policies
      • Chính sách đúc tiền
      • 6th QnA Recording
    • Tuần 7: State machines
      • State Machines
      • 7th QnA Recording
    • Tuần 8: QuickCheck
      • Kiểm tra nhanh
      • 8th QnA Recording
    • Tuần 9: Marlowe Intro
      • Giới thiệu Marlowe
    • Tuần 10: Staking
      • Ủy thác
  • Extras
    • Keyboard Shortcuts
Powered by GitBook
On this page
  • Mục lục
  • Nội dung
  • Mã nguồn tham khảo
  • Bài tập
  1. Plutus
  2. Tuần 8: QuickCheck

Kiểm tra nhanh

PreviousTuần 8: QuickCheckNext8th QnA Recording

Last updated 2 years ago

Mục lục

  1. PPP030801 - Introduction - Plutus Pioneer Program

  2. PPP030802 - Another State Machine Example_Token Sale - Plutus Pioneer Program

  3. PPP030803 - Automatic Testing using Emulator Traces - Plutus Pioneer Program

  4. PPP030804 - Test Coverage - Plutus Pioneer Program

  5. PPP030805 - Interlude_Optics - Plutus Pioneer Program

  6. PPP030806 - Property Based Testing with QuickCheck - Plutus Pioneer Program

  7. PPP030807 - Property Based Testing of Plutus Contracts - Plutus Pioneer Program

  8. PPP030808 - Homework 8 - Plutus Pioneer Program

Nội dung

Mã nguồn tham khảo

Bài tập

  • Thêm một hoạt động mới gần với hợp đồng TokenSale cho phép người bán đóng hợp đồng và lấy tất cả số tiền còn lại.

  • Sửa đổi các bài kiểm tra cho phù hợp.

Bài giảng :

số 8
Thử nghiệm